# Weak Inequality of Integers iff Strict Inequality with Integer plus One

## Theorem

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

The following are equivalent:

$(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.