theorem Th59: :: NEWTON02:157

for a, k being Nat st k + 1 is prime & not k + 1 divides a holds
k + 1 divides (a |^ k) - 1