theorem Th12: :: INT_5:12

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