theorem Th3: :: NEWTON02:3

for t, z being Integer holds
( t divides z iff t gcd z = |.t.| )