Es sei
eine 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.