Zero is Integer Multiple of Zero

Theorem
Zero is an integer multiple of zero.

Proof
We have that:
 * $0 \times 0 = 0$

The result follows by definition of integer multiple.