- Из леммы Ферма вытекает следующее:
Пусть точка является точкой экстремума функции , определенной в некоторой окрестности точки .
Тогда либо производная не существует, либо .
(Математический Анализ. Том 1. Л. Д. Кудрявцев. Москва «Высшая Школа» 1973 г.)