Absolute Value of Integer is not less than Divisors/Corollary

Corollary to Integer Absolute Value Greater than Divisors
Let $a, b \in \Z$.

If $a$ and $b$ are both positive, and $a \mathop \backslash b$, then $a \le b$.

Proof
Follows directly from Integer Absolute Value Greater than Divisors.