Лемма 1

Если Х – некоторый план исходной задачи (43) – (45), a Y – произвольный план двойственной задачи (46), (47), то значение целевой функции исходной задачи при плане Х всегда не превосходит значения целевой функции двойственной задачи при плане Y, т. е.

Лемма 2.

Если для некоторых планов X^* и Y^* задач (43) – (45) и (46), (47), то X^* – оптимальный план исходной задачи, а Y^* – оптимальный план двойственной задачи.