theorem :: NEWTON06:76

for a being odd Integer holds (a |^ 4) mod 8 = 1