Category:Modulo Multiplication is Well-Defined