==שאלה 3==
אפשר להוכיח ע"י דוגמא? כי מבקשים להראות שקיימת, אז אם אני מראה שיש לפחות פונקציה אחת כזו זה מספיק?
==תשובה==
אתה צריך להוכיח שלכל |A|=|B| יש פונקציה חח"ע שהיא לא על, כלומר אם אתה נותן דוגמה עבור |A|=|B| כלשהם זה לא מספיק(אלא אם כן אתה מתכוון לתת דוגמה עבור כל |A|=|B| שזה כידוע לך בלתי אפשרי...) כלומר אם ברצונך להוכיח את המשפט אתה חייב לעשות את זה באופן כללי, אבל '''להפריך''' אתה יכול בעזרת דוגמה...
==שאלה כללית==