素朴な疑問なのですが

n:自然数
√nが有理数になるのは、nが平方数のとき
ですか?