Square Root of 2 is Irrational

Theorem

 * $\sqrt 2$ is irrational.