Kongruensi dan Kesamaan.
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 a = b + kn \mbox{ untuk suatu bilangan bulat } k\text{.}
\end{equation*}