Wilson's Theorem/Necessary Condition

Theorem
Let $p$ be a prime number.

Then:
 * $\paren {p - 1}! \equiv -1 \pmod p$