0x33.1 同余、费马小定理和欧拉定理

定义：
定义：

若整数\(a\)和整数\(b\)除以正整数\(m\)的余数相等，则称 \(a,b\) 模 \(m\) 同余，
记为\(a \equiv b(\mod m)\)。

即：\[m \mid a - b \Leftrightarrow a \equiv b(\mod m)\]

性质：若\(a_1 \equiv b_1(\mod m)\), \(a_2 \equiv b_2(\mod m)\),，那么我们有

1. \(a_1 \pm a_2 \equiv b_1 \pm b_2(\mod m)\)

2. \(a_1 a_2 \equiv b_1 b_2(\mod m)\)

3. \({a_1}^k \equiv {b_1}^k(\mod m)\)