Category:Integer Addition is Well-Defined