theorem Th1: :: NEWTON02:1

for t, z being Integer holds t gcd z = (- t) gcd z