Доказательство.

Функция - точка локального минимума для (из условия теоремы).

Из (Т.1,п.10.1) .