theorem :: NEWTON02:38

for n, k being Nat st k > 1 holds
not k divides (k + 1) |^ n