【正确答案】设a≡b(mod m)，c≡d(mod m)，有m|a-b，m|c-d．而(a+c)-(b+d)=(a-b)+(c-d)，故m|(a+c)-(b+d)．得证a+c≡b+d(mod m)．类似可证a-c≡b-d(mod m)．
   由n≡b(mod m)，c≡d(mod m)，存在整数x、y，使得a=xm+b，c=ym+d．于是，ac=(xym+xd+yb)m+bd，故有ac≡bd(mod m)．