theorem Th19: :: INT_6:19

for i, j, k being Integer st i,j are_coprime holds
i gcd (j * k) = i gcd k