'''א.
'''<math>\underline{F(A)=F(B)}\Rightarrow \{f(a):a\in A\}=\{f(b):b\in B\}</math> (כלומר לכל איבר בשמאלית קיים איבר ששווה לו בימנית, ולהיפך).
'''לכן
'''<math>\forall a\in A\ \exists b\in B:a=b \and \forall b\in B\ \exists a\in A:a=b</math>
'''ולכן <math>\underline{A=B }</math> כנדרש.
'''ב.