Theorem 2 in Linear Programming