theorem :: NEWTON07:16

for p being odd Prime
for k being non zero Nat st k + 1 < p holds
p divides (p + 1) choose (k + 1)