Sei
eine stetige, auf ] a , b [ {\displaystyle {}]a,b[} differenzierbare Funktion mit f ′ ( x ) = 0 {\displaystyle {}f'(x)=0} für alle x ∈ ] a , b [ {\displaystyle {}x\in {]a,b[}} .
Dann ist f {\displaystyle {}f} konstant.