theorem Th14: :: INT_6:14

for i, j being Integer holds i gcd j = i gcd |.j.|