Wilson's Theorem

This theorem states that for any prime number p, (p-1)! is congruent to -1 modulo p.