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