Prove that the square of an integer $a$ is of the form $a^2=3k$, or $a^2=3k+1$, where $k\in \mathbb{Z} $
Prove or disprove: For every integer a, if a is not congruent to 0 (mod 3), the a^2 is congruent to 1 (mod 3)