'''<math>\underline{g(a)=g(b)}</math>
'''(נרצה להשתמש בחד-חד-ערכיות של gf, ולכן כדי להוסיף את f לפני g נאמר ש-) a ו-b הם תמונות תחת f כי f על, לכן קיימים להם מקורות x ו-y בהתאמה, <math>\exists x,y:f(x)=a,f(y)=b</math> ולכן:
'''<math>gf(x)=g(f(x))=g(f(y))=gf(y)</math>. כעת, gf חח"ע ולכן: