Die Aussage
folgt aus Fakt. Wir betrachten die Hilfsfunktion
Es ist
Also ist h ( a ) = h ( b ) {\displaystyle {}h(a)=h(b)} und Fakt liefert die Existenz eines c ∈ ] a , b [ {\displaystyle {}c\in {]a,b[}} mit
Umstellen ergibt die Behauptung.