A proof of the existence of an optimal basis in the simplex method based on induction. Specifically, it is shown that a finite chain of feasible basis changes exists, resulting in either an optimal feasible solution or in an infinite class of feasibl...