theorem Th4: :: PYTHTRIP:4

for i being Integer st i is odd holds
(i ^2) mod 4 = 1