נוכיח טענה חזקה יותר...
zzz gcd(a,b)=gcd(a+b*n,b) zzz zzz gcd(a,b)=ax+by=d x ו-y הם שלמים שמקיימים את המשוואה. zzz ax+by=(a+bn)x+(y-nx)b מפה קל לראות ש... zzz gcd(a+bn,b) | gcd(a,b) zzz זה לא מספיק... עכשיו בכיוון ההפוך, כלומר מ- gcd(a+b*n,b) zzz zzz gcd(a+bn,b)=(a+bn)*s+b*r (s ו-r המקיים את המשוואה) zzz (a+bn)*s+b*r=a*s+b(n*s+r) zzz ולכן גם מתקיים: zzz gcd(a,b) | gcd(a+bn,b) zzz מכאן בקלות נובע ש: zzz gcd(a,b)=gcd(a+b*n,b) zzz מש"ל