Kongruensi dan Keterbagian.
Untuk sembarang bilangan bulat \(a\) dan \(b\text{,}\) serta bilangan bulat positif \(n\text{,}\) berlaku
\begin{equation*}
a \equiv b \pmod{n} \qquad \text{ jika dan hanya jika } \qquad n \mid (a-b)\text{.}
\end{equation*}