前置知识
$a,b$ 对 $m$ 取模的结果相同，记为 $a\equiv b (mod\ m)$，即 $a\ mod\ m == b\ mod\ m$
如果 $a\equiv b (mod\ m)$，且 $c\equiv d (mod\ m)$，则
- $a + b\equiv c + d(mod\ m)$
- $a \times b\equiv c \times d(mod\ m)$
同余方程
设有同余方程 $ax\equiv b (mod\ n)$ 对于未知数 $x$ 有解，当且仅当 $b$ 是 $gcd (a,n)$ 的倍数。且方程有解时，方程有 $gcd (a,n)$ 个解
求解方程 $ax\equiv b (mod\ n)$ 相当于求解方程 $ax+ny=b$（$x,y$ 为整数）
对于上面的式子证明如下：
由 $ax \equiv b (mod\ n)$ 得
$$ ax = ny_1 + p\\ b = ny_2 + p $$
用中文解释就是，$ax$ 等于 $y_1$ 倍的 $n$ 加上余数 $p$；而 $b$ 等于 $y_2$ 倍的 $n$ 加上余数 $p$
两式相减得 $ax+ny=b$，证毕
所以求解同余方程 $ax\equiv b (mod\ n)$ 就转化为了求解裴蜀方程 $ax+ny=b$，并且 $(x,y)$ 有整数解当且仅当 $b$ 为 $gcd (a,n)$ 的倍数
