theorem Th68: :: GROUP_22:2

for a, b, c being Nat st b <> 0 & b divides c & a * b,c are_coprime holds
b = 1