Square Root of Prime is Irrational

Theorem
The square root of a prime number is irrational.

Also see

 * The special case of $p = 2$ is a well-known mathematical proof.