Wilson's Theorem

- Pure Mathematics -
Algebra Dictionary
Definition
A number-theoretic characterization stating that a positive integer p is prime if and only if (p − 1)! ≡ −1 (mod p); equivalently, the factorial of p − 1 is congruent to −1 modulo p precisely for prime p.