Square Modulo 4

Theorem
Let $x \in \Z$ be an integer.

Then $x$ is:
 * even $x^2 \equiv 0 \pmod 4$
 * odd $x^2 \equiv 1 \pmod 4$