Théorème de Wilson : Montrer qu'un entier $p \geqslant 2$ est premier si et seulement si $(p - 1)! + 1 \equiv 0 \pmod p$.