Estos números se denominan pseudoprimos en la base "a", por lo que la prueba propuesta no es en realidad una verdadera "prueba de primalidad".