Integer Multiplication is Well-Defined

Theorem
Integer multiplication is well-defined.