Square Root of 2 is Irrational/Proof 2

Theorem

 * $\sqrt 2$ is irrational.

Proof
Special case of Square Root of Prime is Irrational.