Category:Integer Multiplication is Well-Defined