theorem PCM: :: NEWTON07:24

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