Misalkan keempat peubah dalam kongruensi berikut berupa bilangan bulat dan modulusnya positif: \(ad \equiv bd \pmod n\text{.}\) Maka \(a \equiv b \pmod{\frac{n}{\gcd(d,n)}}\text{.}\)

Jika \(d\) dan \(n\) tidak memiliki faktor persekutuan selain 1, maka \(\gcd(d,n) = 1\text{,}\) sehingga \(a \equiv b \pmod n\text{.}\)