theorem Th10: :: NTALGO_1:10

for a, b, c being Element of INT st c <> 0 & a = b mod c & b,c are_coprime holds
a,c are_coprime