Absolute Value of Integer is not less than Divisors/Corollary

From ProofWiki
Jump to: navigation, search

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.

$\blacksquare$


Sources