Odd Integer 2n + 1

Theorem
Let $m$ be an odd integer.

Then there exists exactly one integer $n$ such that $2 n + 1 = m$.

Proof
Follows directly from the Division Theorem.