theorem N0141: :: NEWTON06:38

for a, b, c, d being Integer st (a * b) gcd (c * d) = 1 holds
a gcd c = 1