пусть область ограничений D ЗНЛП ф от х стремится к макс к мин, x принадлежит D вхлдящего в R^n является непустым и компактным.тогда непрерывная целевая функция f(x) определённая на этом множестве достинает глобального условного максимума(минимума) на внутренней или граничной точке множества D