Así, si se conoce la factorización de un divisor de "F" se pueden concluir por el contraste con las condiciones (i) y (ii) que un número dado es primo.