Prove ...is a well-order

Printable View