La proposición recíproca también es verdadera, por lo que puede afirmarse que un número "n"> 1 es primo si y sólo si ("n"− 1)! ≡ − 1 (mod "n").