Wilson's Theorem/Necessary Condition/Proof 2

Proof
If $p = 2$ the result is obvious.

Therefore we assume that $p$ is an odd prime.