Por tanto, si el algoritmo no encuentra ningún factor, es una prueba de que "n" es primo.