Prove that if m is an integer and there is a rational number r/s so that (r/s)^2 = m, then there is an integer n so that n^2 = m.
How to prove: if $a,b \in \mathbb N$, then $a^{1/b}$ is an integer or an irrational number?