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.