Twierdzenie Wilsona

Twierdzenie Wilsona (o liczbach pierwszych): $$p \in \mathbb{P} \Leftrightarrow p|(p-1)!-1$$

Fakt, że liczba naturalna $$p>1$$ jest pierwsza, jest równoważny podzielności wyrażenia $$(p-1)!-1$$ przez $$p$$.