若 m \in \mathbb{N^+}，a,b \in \mathbb{Z}，如果 m \mid a-b，则称 a,b 同余模 m，记作 a \equiv b \ (mod \ m)；反之，若 m \nmid a-b，则称 a,b 不同余模 m，记作 a \not\equiv b \ (mod \ m)。
注：
同余的基本性质
同余的性质
若 a \equiv b \ (mod \ m),c \equiv d \ (mod \ m)：
若 ab \equiv ac \ (mod \ m)，则 b \equiv c \ (mod \ \dfrac{m}{(a,m)})；