Zero Divides Zero

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

Then:
 * $0 \mathrel \backslash n \implies n = 0$

That is, zero is the only integer divisible by zero.