Prove 1 is the least element in the positive integers

Printable View