Teorema de Wilson
De Viquipèdia
El teorema de Wilson (atribuït a John Wilson (1741-1793) estableix que, el nombre enter
és primer si, i només si,

això és, si i només si,
és divisible entre
.
El teorema de Wilson recull el fet que
és primer si, i només si, l'anell
és íntegre (i, per ser finit, un cos). Aleshores, com que tant
com
són els únics elements que són inversos de sí mateixos, el producte

conté
parelles d'elements amb el seu invers. En conseqüència,

- Si
no és primer i
amb, posem,
, com que
, és clar que , a
, s'esdevé que
i, per tant,
.
- Si
no és primer, però és la potència
d'un nombre primer
, aleshores, excepte el cas
, el nombre de vegades que apareix el factor
a
no és inferior a
. En conseqüència, també
.
amb, posem,
, com que
, és clar que , a
i, per tant,
.
d'un nombre primer
, aleshores, excepte el cas
, el nombre de vegades que apareix el factor
no és inferior a 