Wilson's Theorem

Theorem (Wilson)

If pp is prime then (p−1)!≡−1(modp)(p-1)!\equiv-1 \pmod{p}