# mod $ \begin{aligned} a \div M &= qd \ldots r \\ b \div M &= (q+n)d \ldots r \end{aligned} $ のとき、 **$a$ と $b$ は $M$ を法として合同** 。 $ a \equiv b \pmod M $ $ \begin{aligned} 7 \equiv 22 \pmod 5 \\ 7 \not\equiv 13 \pmod 5 \end{aligned} $ このとき、 $a \equiv b \pmod M \Leftrightarrow a - b = kM$ を満たす整数 $k$ が存在する。 $ 22 - 7 = 15 $