para todos los factores primos "q" de "n" − 1, entonces "n" es primo.