Modulo Addition is Well-Defined/Examples/2+3 equiv -6+15 mod 4

Example of Use of Modulo Addition is Well-Defined
We have:

To confirm:

That is:
 * $\eqclass 2 4 + \eqclass 3 4 = \eqclass 1 4$