theorem :: NEWTON07:23

for p being Prime
for n being Nat st n < p holds
((p + n) choose n) mod p = 1