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