同余

给定一个正整数 m，如果 m 除以整数 ab 的余数相等，则称 ab 关于 模 m 同余

$$a\equiv b(modm)$$

等价于

$$m|(a-b)$$ $$a=b+mt$$

同余的性质

mod 9 可以验证等式两边相等（必要条件）