Even Integer Plus 5 is Odd/Direct Proof

Direct Proof
Let $x$ be an even integer.

Then by definition:
 * $x = 2 n$

for some integer $n$.

Let $y = 2 n + 5$.

Then:

Hence $y = 2 n + 5$ is an odd integer by definition.