'''''נרצה להוכיח ש-g על'', נתחיל מאיבר y בטווח של g, ונקווה לגלות שקיים לו מקור תחת g בתחום של g. בדרך נשתמש ב1-4:
'''מכיוון שההרכבות הנתונות קיימות מוגדרות (אחרת לא היו פונקציות ובפרט לא הפיכות) הרי שכל '''התחומים והטווחים בשאלה זהים:
'''<math>f,g:A\rightarrow A</math>