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.

$\blacksquare$