合同式とは何か

2つの整数 $a,b$ を $m$ で割った時の余りが等しいとき， $a$ と $b$ は $m$ を法として合同である，といい

\[a\equiv b\pmod m\]

と表す．