Letc=gcd(a,b) yM={kc∣k∈Z}. Sincec es un divisor dea yb, hayi,j∈Z tal quea=ic yb=jc. Let\[I=\{m a+n b \mid m, n \i...Letc=gcd(a,b) yM={kc∣k∈Z}. Sincec es un divisor dea yb, hayi,j∈Z tal quea=ic yb=jc. LetI={ma+nb∣m,n∈Z}. Mostramos primero que I⊆M. Dejarkc∈M yr=gcd(i,j). Entonces haym,n∈Z tales quermc=ic=a yrnc=jc=b. Asírc∣a yrc∣b.