theorem Th60: :: NUMBER10:60

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