## Congruenence in modulo 3q

Show that addition + and multiplication * of integers are well defined relative to the congruence mudulo 3 equivalence relation on Z ( the set of intergers).