Изменения

Пусть <tex> f: K \subset \mathbb{R}^m \to \mathbb{R} </tex>, дифференцируемо на <tex> \operatorname{Int} K </tex>, <tex> f = \operatorname{const} </tex> на <tex> \partial K </tex> (что-то там граница <tex> K </tex>). Тогда существует <tex> a \subset \operatorname{Int} K: \ \nabla f(a) = 0 </tex>.