for a, b, c, d being Nat st a * b,c * d are_coprime holds
a,c are_coprime