A 若 a≡b(mod m)，则 a 和 b 除以 m 的余数相同

B 模运算对加、减、乘都封闭

C 若ac≡bc(mod m) 且 c 与 m 互素，则 a≡b(mod m)

D 模运算下不一定有除法