theorem Th9: :: NEWTON02:9

for t, z being Integer holds
( t gcd z is even iff ( t is even & z is even ) )