Wilson's Theorem

A theorem that states that a natural number n is prime if and only if (n-1)! + 1 is divisible by n.