Category:Modulo Addition is Well-Defined