Considere uma função f que admite derivada de ordens superiores à primeira em um intervalo aberto I, e p um elemento de I.

Supondo f " contínua na proximidade de p, então é verdade que, se f ' (p) = 0 e