אסור להניח שיש קדומה ורק להגיד מה הערך שלה מבלי להוכיח שהיא אכן הקדומה על ידי גזירה.
==שאלה==
בתרגיל 5 צריך להשתמש במשפט מאינפי 1 על נגזרת של פונקציה הפוכה:
אם f גזירה והפיכה, ו <math>f(x0)=y0</math>, ו <math>f'(x0)=/=0</math>, אז
<math>(f^-1)'(y0)=1/f'(x0)</math>.
איך נדע בתרגיל שאכן הנגזרת שונה מאפס, כדי שנוכל לחלק בה?