模运算与同余定理

模运算

没有除法

（1）(a + b) % p = (a % p + b % p) % p

（2）(a - b) % p = (a % p - b % p ) % p

（3）(a * b) % p = (a % p * b % p) % p

（4）a ^ b % p = ((a % p)^b) % p

同余定理

当两个数除以某个数的余数相等，那么二者相减后肯定可以被该数整除。

(a-b)%k = 0;
即 a % k = b % k