Square Root of 2 is Irrational/Proof 2

Theorem

 * $\sqrt 2$ is irrational.

Proof
This is a special case of the result that the square root of any prime is irrational.