Integer numbers/Quotient set/Well-defined operations/Exercise

Show that the addition and the multiplication on introduced in example are well-defined.