Sei ${\displaystyle {}a<b}$ und sei

${\displaystyle f\colon [a,b]\longrightarrow \mathbb {R} }$

eine stetige, auf ${\displaystyle {}]a,b[}$ differenzierbare Funktion.

Dann gibt es ein ${\displaystyle {}c\in {]a,b[}}$ mit