Definition (Perfect square)

A number $n\in\mathbb{N}$ is a perfect square if $\exists a\in\mathbb{N}$ s.t. $$n=a^{2}$$