Even Integer Plus 5 is Odd

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

Then $x + 5$ is odd.