Consider the following properties of numbers:
- A number is even if it can be expressed as $2n$, where $n$ is an integer.
- A number is odd if it can be expressed as $2n + 1$, where $n$ is an integer.
Let $x$ be an integer such that $x^2$ is even. Which of the following statements about $x$ must be true?