שינויים

2. g חד ערכית- נניח <math>[a]=[b]</math>, ואז צ"ל <math>f(a)=f(b)</math>. מהנתון ש <math>[a]=[b]</math> נובע ש <math>(a,b)\in R</math>. צ"ל , ולכן, לפי הגדרת f כמוגדרת היטב על קבוצת המנה, מתקיים <math>f(a)=f(b)</math>, וזה אכן מתקיים כי f מוגדרת היטב על קבוצת המנה. מש"ל.