theorem :: NEWTON07:20

for p being Prime
for n being even Nat st n < p holds
((p - 1) choose n) mod p = 1