Es sei
eine Funktion, die in c ∈ ] a , b [ {\displaystyle {}c\in {]a,b[}} ein lokales Extremum besitze und dort differenzierbar sei.
Dann ist f ′ ( c ) = 0 {\displaystyle {}f'(c)=0} .