【定义】
给定一个正整数m,如果二整数α、b满足m│α-b((α-b)被m整除),就称整数α、b对模m同余，记作α≡b)(mod m)。对模m同余是整数的一个等价关系。
【基本性质】
1、a≡a(mod k)
2、a≡b(mod k)⇒⇒b≡a(mod k)
3、a≡b(mod k),b≡c(mod k)⇒⇒a≡c(mod k)
4、a≡b(mod k)⇒⇒a+c≡b+c(mod k)
5、a≡b(mod k),c≡d(mod k)⇒⇒ac≡bd(mod k)
6、a≡b(mod k)⇒ an≡bn⇒ an≡bn(mod k)
推论
1、a·b%k=(a%k)·(b%k)%k //快速幂
2、a%p=x，a%q=x，且gcd(p,q)=1，则a%(p·q)=x
注意：
[快速幂]
点这里