Пусть функция y=f(x) определена на множестве x и внутри его имеет конечную производную f'(x).

Для того, чтобы f(x) была постоянной на x, необходимо и достаточно, чтобы внутри x выполнялось равенство: