theorem NPK: :: NEWTON07:37

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