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.