Equivalence of Definitions of Odd Integer

Theorem
The following definitions of an odd integer are equivalent:

Proof
From the Division Theorem, setting $b = 2$:


 * $\forall a \in \Z: \exists! q, r \in \Z: a = 2 q + r, 0 \le r < 2$

Thus, either:
 * $\exists q \in \Z: n = 2 q$

or:
 * $\exists q \in \Z: n = 2 q + 1$

When $n = 2 q$, $n$ is even by definition.

When $n$ is not even, $n = 2 q + 1$

Likewise, when $n = 2 q + 1$ it follows that $n$ is not even.

Hence both definitions of odd integer are equivalent.