theorem :: NEWTON02:177

for a being Nat holds 154 divides (a |^ 61) - a