שינויים
/* תרגיל */
נניח בשלילה שקיים שיוויון אזי קיימת התאמה חח"ע ועל <math>g:A\to B^A</math>.
נסמן <math>\forall a\in A:g(a)=f_ah_a</math>.
נראה באופן דומה לתירגול קודם כי g איננה על ע"י שנמצא פונקציה f h שאין לה מקור:
נבחר 2 איברים שונים <math>b_0,b_1\in B</math>ונגדיר פונקציה באופן הבא <math>fh:A\rightarrow B</math> ע"י <math>fh(a)=b_0</math> אם <math>f_ah_a(a)=b_1</math>. ו- <math>fh(a)=b_1</math> אחרת.לפי הבנייה <math>\forall a\in A fh\not=f_aneq h_a</math> כיוון ש <math>fh(a)\not=f_aneq h_a(a)</math>. סתירה לכך ש <math>g </math> על.
הערה: התרגיל הזה הוא מסקנה מהתרגילים הקודמים כי <math>|\{0,1\}|\leq |B|</math> ולכן <math>|A|<|\{0,1\}^A|\leq |B^A|</math>
