(a+b)mod n =((a mod n)+(b mod n)) mod n;
(a-b)mod n =((a mod n)-(b mod n)+n) mod n;
(a*b)mod n =((a mod n)*(b mod n)) mod n;
性质:如果a≡b(mod m),x≡y(mod m),则a+x≡b+y(mod m)。
如果a≡b(mod m),x≡y(mod m),则ax≡by(mod m)。
如果ac≡bc(mod m),且c和m互质,则a≡b(mod m) .(就是说同余式两边可以同时除以一个和模数互质的数)。