Prove that if n is a natural number and if n has a rational square root then in fact the square root of n is an integer
How to prove: if $a,b \in \mathbb N$, then $a^{1/b}$ is an integer or an irrational number?