theorem Th82: :: NUMBER15:82

for i being Integer st i is even holds
(i |^ 3) mod 8 = 0