同余概念

当 a%m == b%m，说明a和b同余，写作若 a≡b(mod m)

性质

衍生出几条性质

1.m | abs(a-b)，即|a-b|是m的倍数。（注意，0是任何数的倍数）

2.当a≡b(mod m)，c≡d(mod m)，

有ac≡bd(mod m)

有a+c≡b+d(mod m)

有a-c≡b-d(mod m)

证明如下