אם אתם כן גוזרים, תניחו שהיא שונה מאפס. תחשבו על זה שאם הנזרת שווה לאפס בכמה נקודותבודדות אז מקסימום קיבלתם קדומה בכל נקודה אחרת. והנגזרת לא יכולה להתאפס על קטע שלם כי אז <math>\phi</math> תהייה קבועה ולא חח"ע. אבל כמו שאמרתי, לא חייבים לגזור.
:אבל זה בעצם אומר שהטענה הזאת לא ב-100% נכונה, קיבלנו פונקציה קדומה רק בנקודה שבהן הנגזרת אינה אפס.