theorem :: NEWTON02:45

for a, b, c being Nat st a + b divides c & a,c are_coprime holds
a,b are_coprime