prove A has a largest element

Printable View