Modulo Multiplication is Well-Defined/Examples/19x6 equiv 11x2 mod 4