Когда корень из натурального числа является натуральным числом?

Существует теорема:
Корень из натурального числа a является натуральным числом тогда и только тогда, когда a — точный квадрат.