theorem Th22: :: NUMBER04:22

for a, k being Nat
for p being odd Prime st p |^ (k + 1) divides (a |^ (p |^ k)) + 1 holds
p |^ (k + 2) divides (a |^ (p |^ (k + 1))) + 1