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 si 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é .