שינויים

'''<math>f(x)=f(y)</math>, ולכן <math>\underline{a=b}</math> כנדרש.

'''''נרצה להוכיח ש-g על'', נתחיל מאיבר y בטווח של g, ונקווה לגלות שקיים לו מקור תחת g בתחום של g. בדרך נשתמש ב1-4: