theorem Th100: :: NEWTON02:100

for t, u, z being Integer st (u + t) + z is even holds
(u * t) * z is even