Modulo Addition is Well-Defined/Examples