Entonces, deberíamos ser capaces de requerir la existencia de "n" tal que "N" − "F"("n") sea a la vez positivo y primo, y tal que todos los "f"("n") sean primos.