שינויים
לכל <math>i\in I</math> קיימת פונקציה חח"ע ועל
<math>f_i:A\rightarrow A_i</math>.
כעת נגדיר פונקציה <math>g:I\times aA\rightarrow\bigcup_{i\in I}A_i</math> ע"י <math>g(k,x)=f_k(x)</math>. מכיוון שהקבוצות זרות ו<math>f_k</math> חח"ע ברור שg חח"ע. מכיוון ש<math>f_k</math> על גם g על ולכן קיבלנו את המבוקש.
=== תרגיל ===
