כלומר, אם <math>g</math> היא הפיכה מימין (כלומר קיימת <math>f</math> כך ש<math>g \circ f=id</math>) אז <math>g</math> על.
אגב, הקושי למצוא נוסחא למציאת מקור עבור כל תמונה זהה לקושי במציאת פונקצייה מתאימה מימין. [[משתמש:Adam Chapman|Adam Chapman]] 19:00, 8 באוגוסט 2010 (IDT)
:תודה על התשובה. מה זה id?
הקושי העיקרי שלי בלהוכיח "על" הוא ההסברה. כמעט שום הסבר לא נראה לי מספק וסגור מכל הקצוות. כך שאם יש נוסחה שאומרת שברגע שמצאתי (עצם המציאה לא קשה בפונקציות שבתרגיל) f כך ש-g הרכבה f שווה משהו אז g על, זה פותר את הקושי.
==שאלות 2 ו3-א'==