P
Initializing...
Theorem 3.2 — the simplex method terminates under the lexicographic rule · Prove2Me