Contoh 16.5.2.
Mari kita selesaikan sistem
\begin{align*}
x & \equiv 3 \pmod{4}\\
x & \equiv 4 \pmod{5}\text{.}
\end{align*}
Dengan menggunakan algoritma Euklides, kita dapat menemukan bilangan bulat \(s\) dan \(t\) sedemikian sehingga \(4s + 5t = 1\text{.}\) Dua bilangan bulat yang memenuhi syarat itu adalah \(s = 4\) dan \(t = -3\text{.}\) Akibatnya,
\begin{equation*}
x = a + k_1 m = 3 + 4k_1 = 3 + 4[(5 - 4)4] = 19\text{.}
\end{equation*}