同余方程的性质

1.反身性：a≡b(mod m),c≡d(mod m)⇒a×c≡b×d(mod m);

6.除法：a≡b(mod m)⇒an≡bn(mod m)。