有的时候数字a太大，题目会要求对m取模(a=a%m), 从而使得a<m.
如果 a%mb%m 则a和b对m同余。记为 a=b(mod m)
ab(mod m) 等价于 (a-b) 0(mod m)
if ac(mod m), bd(mod m)
then 性质一 a+b c+d (mod m)
性质二 a-b c-d (mod m)
性质三 a*b c*d (mod m)
前两个很简单，两边同时减去（c+d）,(c-d)
a-c+b-d 0(mod m)
a-c-(b-d) 0 (mod m)
下面证性质三
令
ac(mod m), bd(mod m)
要求运算结果对m求余时， 运算的量可以先求余，以避免中间溢出。
很明显aa%m(mod m),bb%m(mod m)
由性质一a+b = (a%m+b%m) (mod m)
a-b,a*b同理