Non-Zero Integer has Finite Number of Divisors

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $n \in \Z_{\ne 0}$ be a non-zero integer.

Then $n$ has a finite number of divisors.


Proof

Let $S$ be the set of all divisors of $n$.

Then from Absolute Value of Integer is not less than Divisors:

$\forall m \in S: -n \le m \le n$

Thus $S$ is finite.

$\blacksquare$