MO-Lab1-ConditionalOptimization Условная оптимизация (не выпуклый случай). Проверка условий теоремы Каруша-Куна-Таккера.