שינויים
/* פתרון */
על: יהא <math>y\in A</math> כיוון ש-<math>f_k</math> על, קיים <math>a\in A</math> כך ש-<math>f_k(a) = y</math>.
בנוסף, מהנחת האינדוקציה קיים <math>b\in A</math> כך ש <math>f_{k-1}\circ \dots \circ f_1(b)=a</math> ולכן נקבל
<math>f_k\circ \dots \circ f_1(b) = f_k\circ (f_{k-1}\circ \dots \citc circ f_1)(b)=f_k(a)=y</math>. מש"ל.
הפיכות: נובע מחח"ע יחד עם על.
