Wilson's theorem

Intro

YouTube videos

Proof

\((n - 1)! \equiv -1 \pmod{n}\)