Prove the existence of the square root of 2

Printable View