Absolute Value of Integer is not less than Divisors/Corollary

Corollary to Absolute Value of Integer is not less than Divisors
Let $a, b \in \Z_{>0}$ be (strictly) positive integers.

Let $a \divides b$.

Then:
 * $a \le b$

Proof
Follows directly from Absolute Value of Integer is not less than Divisors.