模运算有下述性质：

（1）若q|(a-b)，则a≡b (mod q) 11 ≡4 (mod 7) 18 ≡ 4(mod 7)

（2）(a mod q)=(b mod q)意味a≡b mod q

（3） 对称性,a≡b mod q等价于b≡a mod q

（4）传递性,若a≡b mod q且b≡c mod q ，则a≡c mod q