A proof involving the Law of Excluded Middle

Printable View