Modulo Multiplication is Well-Defined/Examples