Es sei a < b {\displaystyle {}a<b} und sei
eine stetige, auf ] a , b [ {\displaystyle {}]a,b[} differenzierbare Funktion.
Dann gibt es ein c ∈ ] a , b [ {\displaystyle {}c\in {]a,b[}} mit