theorem :: NEWTON02:181

for a, k being Nat
for n being prime Nat holds n divides (a |^ (n + k)) - (a |^ (k + 1))