theorem Th23: :: NUMBER04:23

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