Weak Inequality of Integers iff Strict Inequality with Integer plus One

Theorem
Let $a, b \in \Z$ be integers.


 * $(1): \quad a \le b$
 * $(2): \quad a < b + 1$

where:
 * $\le$ is the ordering on the integers
 * $<$ is the strict ordering on the integers.