theorem :: NEWTON07:33

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