P
Initializing...
Finite termination of the simplex method under nondegeneracy · Prove2Me