theorem KPN: :: NEWTON07:38

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