theorem :: NEWTON07:26

for p being Prime
for k, n being Nat st k < n & n <= p holds
((p + n) choose k) mod p = (n choose k) mod p