theorem Th3: :: PYTHTRIP:3

for i being Integer st i is even holds
(i ^2) mod 4 = 0