Propoziţia 1 (de tip Fermat).
Fie o funcție dată.
Dacă este un punct de maxim local (respectiv de minim local) al funcţiei f şi f are derivată la dreapta în în punctul atunci:
(respectiv ).
Propoziţia 2 (de tip Rolle).
Dacă este o funcție continuă pe care are derivată la dreapta în pe şi atunci există astfel încât: