corresponde a la función formula_13 (donde formula_14 es el conjunto de números primos) definida por: