theorem Th96: :: NEWTON02:194

for a, n being Nat
for p being prime Nat st p divides a holds
p divides a |^ (n + 1)