Integer Divisor Results

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

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

The following results all hold: