Quotient Ring Addition is Well-Defined