theorem Th87: :: NEWTON02:87

for t being Integer
for n being odd Nat holds (t |^ n) mod 3 = t mod 3