theorem :: NEWTON07:15

for p being odd Prime holds p divides (p + 1) choose ((p + 1) / 2)