Prove, using only the definition of
congruence modulo n given in Discrete
Mathematics With Ducks, that if
a = b (mod n) and
c = d (mod n) then
a+c=b+d (mod n)
Fig: 1