שינויים
12 קליין) נגדיר פונקצייה h על ידי <math>\forall x \in I: h(x)=f(x)-x</math>.
h מתאפסת בשתי נקודות שונות בקטע <math>I</math> ולכן לפי משפט רול קיימת נק' בפנים הקטע בה נגזרתה מתאפסת. כלומר <math>\exists c \in I: h'(c)=0</math>. לכן <math>h'(c)=(f(x)-x)'=f'(x)-1=0\Rightarrow f'(x)=1</math>. מש"ל.
<math>\blacksquare</math>
