# Integer Absolute Value not less than Divisors/Corollary

## Corollary to Integer Absolute Value not less than Divisors

Let $a, b \in \Z_{>0}$ be (strictly) positive integers.

Let $a \mathrel \backslash b$.

Then:

$a \le b$

## Proof

Follows directly from Integer Absolute Value not less than Divisors.

$\blacksquare$