Odd Integer 2n + 1
From ProofWiki
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.
$\blacksquare$
