Si "a" también pasa el segundo paso, entonces el orden de "a" en el grupo (Z/"n"Z)* es igual a "n" − 1, lo que significa que el orden de ese grupo es "n" − 1, implicando que "n" es primo.