Se a\bc e MDC(a, b)=1 então a\c.

Se a\bc logo bc = ax .

Se mdc(a,b) =1= am + bn. Onde multiplicando a igualdade por c obtemos que c = amc + bnc, substituindo bc = ax

c = amc + axn = a(mc +xn).

Como c = a(mc+ xn). Então a\c