Integer Divisor Results/Integer Divides Zero

Theorem
Let $n \in \Z$ be an integer.

Then:
 * $n \divides 0$

That is, $n$ divides $0$.

Proof
From Integers form Integral Domain, the concept divides is fully applicable to the integers.

Therefore this result follows directly from Element of Integral Domain Divides Zero.