theorem KPW: :: NEWTON07:42

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