 Wilson theorem

For a prime $p$,Every nonzero residue other than $1$ and $-1$ pairs with a distinct multiplicative inverse, leaving only $1(-1)$ in the product.