(a,b)=m ve (a+c,b)=n olsun. b∣c⇒m=n midir? Yani; m∣n ve n∣m olduğunu görmeliyiz. (En büyük ortak bölen pozitif olduğundan)
(a,b)=m olduğundan m∣a, m∣b ve b∣c ise m∣c elde edilir. Diğer taraftan m∣a ve m∣c⇒m∣a+c ve m∣b. Buradan m∣n.
n∣a+c, n∣b ve b∣c⇒n∣c elde edilir. Buradan n∣a ve n∣b. Yani; n∣m.