donde formula_1 es el conjunto de los números primos.