Si el teorema inverso fuese cierto (esto es, si la comprobación de la condición "a"≡1 (mod "n"), para cualquier a primo relativo de n implicase la primalidad de "n") la prueba de primalidad sería un asunto muy sencillo.