שינויים
<math>g</math> רציפה ב- <math>[a,b]</math> כהפרש פונקציות רציפות בקטע, וגזירה ב- <math>(a,b)</math> כהפרש פונקציות גזירות בקטע.
קל לראות כי <math>g(a)=g(b)=0</math> ו- <math>g</math> . לכן לפי תנאי משפט רול קיימת נקודה <math>c\in(a,b)</math> עבורה מתקיים <math>g'(c)=0</math> .
אבל:
