שינויים
/* המשך פונקציות */
נגדיר לכל <math>y\in im(f)</math> את הקבוצה של המקורות שלו <math>B_y:=f^{-1}(\{y\})</math>
כעת נבחר מכל <math>A_yB_y</math> איבר יחיד <math>x_y\in B_y</math>/
נגדיר <math>A=\bigcup_{y\in im f}x_y</math>. כיוון שבחרנו ש'''בחרנו מקור ''' לכל תמונה ובחרנו מקור '''אחד ''' אזי <math>f|_A</math> חח"ע עם אותו טווח של <math>f</math>
אזהרה! ההוכחה מתבססת על אקסיומת הבחירה (נפגש איתה בהמשך)
