שינויים
/* פונקציות-תרגיל נוסף לדוגמא */
'''לכן
'''<math>\forall a\in A\ \exists b\in B:f(a)=f(b)\and \forall b\in B\ \exists a\in A:f(a)=f(b)</math>
'''היות ו-f חח"ע
'''<math>\forall a\in A\ \exists b\in B:a=b \and \forall b\in B\ \exists a\in A:a=b</math>
'''ולכן A=B כנדרש.