Proof with Supremum, Infimum, and Well ordering principle

Printable View