theorem :: NEWTON07:34

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