theorem :: NEWTON07:35

for p being Prime
for n being Nat holds ((p * n) choose p) mod p = n mod p