模运算有下述性质：
（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