Lemme 1 ∀x, on a x = y Lemme 2 (dualité) Si x̄ et ū sont respectivement deux solutions quelconques du primal et du dual, alors z̄ = c.x̄ ≥ w̄ = ū.b.