Rational Square Root of Integer is Integer

Theorem
Let $n$ be an integer.

Suppose that $\sqrt n$ is a rational number.

Then $\sqrt n$ is an integer.