theorem PCK: :: NEWTON07:17

for p being Prime
for k being non zero Nat st k <> p holds
(p choose k) mod p = 0