1. 表示 a%m == b%m. a,b模m同余：
//latex 太麻烦了 后面就直接字母表示了
2.若a mod p = x ,a mod q = x,其中 gcd(p,q)=1,则有a mod p*q = x。
证：
k1 * p + x = a;
k2 * p + x = a;
k1 * p = k2 * q
由于p，q互质，则q|k1,p|k2
那么k1 * p = b1 * q * p ,k2 * p = b2 * p * q;
（k1,k2,b1,b2均是一个整数） 显然 a mod p*q =x
3.同余类和剩余系，这两个概念看似没用其实很重要，自行百度。。
理解这两个概念后，能更好的理解取模运算的性质。（比如同是一个同余类的两个数，加上或乘上相同同余类的数 后，这两个数依然是一个同余类）
4.a ≡ b ( mod m ),当且仅当m∣(a−b).
类似于更相减损术，a,b是同一个同余类的条件是： a，b之差必须是m的倍数。
5.a ≡ b (mod m )，当且仅当存在整数k，使得a=b+km
6 如果a * c≡b * c(mod m)，且c和m互质，则a≡b(mod m)
证：
a*c-m*p=b*c-m*q;
(a-b)*c=m*(p+q);
c，m互质 说明 m|(a-b),说明a≡b(mod m) .(根据性质4)
https://zhuanlan.zhihu.com/p/35060143
这篇文章不错
