theorem :: NEWTON02:97

for a being Nat holds 6 divides (a |^ 3) - a