שינויים
/* הלמה של צורן */
<math>g:\Big\{f^{-1}\Big[\{b\}\Big]:b\in im(f)\Big\}\rightarrow A</math> השולחת כל קבוצת מקורות לנציג כלשהו שלה.
נוכיח כי <math>h:=f|_{im(g)}</math> הינה חח"ע והתמונה שלה שווה לזו של f. נניח <math>h(a)=h(b)</math> לכן <math>a,b\in f^{-1}\Big[\{h(a)\}\Big]</math> אבל כל מקור של תמונה נשלח לנציג '''יחיד''' על ידי g אחרת זו סתירה לחד ערכיות ולכך ש-g הינה פונקציה. כמו כן, מכיוון שמכל מקור נבחר נציג, כל התמונה של f מתקבלת.
