Необходимые и достаточные условия оптимальности $P$-го порядка

Приводится некоторое обобщение известной теоремы Люстерника. На основе этого формулируются и доказываются необходимые и достаточные условия оптимальности для задачи математического программирования в форме $f(x)\to\min$, $F(x)=0$, где $f$, $F$ – непрерывно дифференцируемые до Р-го порядка включительно отображения.