Misalkan
\begin{equation*}
S = \{ am + bn : m, n \in {\mathbb Z} \text{ dan } am + bn \gt 0 \}\text{.}
\end{equation*}
Jelas bahwa himpunan \(S\) tak kosong; maka, berdasarkan Prinsip Urutan Baik, \(S\) harus mempunyai anggota terkecil, misalkan \(d = ar + bs\text{.}\) Kita menyatakan bahwa \(d = \gcd( a, b)\text{.}\) Tuliskan \(a = dq + r'\) dengan \(0 \leq r' \lt d\text{.}\) Jika \(r' \gt 0\text{,}\) maka
\begin{align*}
r'& = a - dq\\
& = a - (ar + bs)q\\
& = a - arq - bsq\\
& = a( 1 - rq ) + b( -sq )\text{,}
\end{align*}
yang berada dalam \(S\text{.}\) Namun, hal ini bertentangan dengan fakta bahwa \(d\) merupakan anggota terkecil dari \(S\text{.}\) Jadi, \(r' = 0\) dan \(d\) membagi \(a\text{.}\) Argumen serupa menunjukkan bahwa \(d\) membagi \(b\text{.}\) Oleh karena itu, \(d\) merupakan pembagi bersama dari \(a\) dan \(b\text{.}\)
Misalkan \(d'\) merupakan pembagi bersama lain dari \(a\) dan \(b\text{,}\) dan kita ingin menunjukkan bahwa \(d' \mid d\text{.}\) Jika kita mengambil \(a = d'h\) dan \(b = d'k\text{,}\) maka
\begin{equation*}
d = ar + bs = d'hr + d'ks = d'(hr + ks)\text{.}
\end{equation*}
Jadi \(d'\) harus membagi \(d\text{.}\) Dengan demikian, \(d\) harus merupakan satu-satunya faktor persekutuan terbesar dari \(a\) dan \(b\text{.}\)