Integer Divisor Results

Theorem
Let $m, n \in \Z$ be integers.

Let $m \divides n$ denote that $m$ is a divisor of $n$.

The following results all hold: