Sei

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

eine differenzierbare Funktion mit ${\displaystyle {}f'(x)=0}$ für alle ${\displaystyle {}x\in {]a,b[}}$.

Dann ist ${\displaystyle {}f}$ konstant.