Pomerance que se ejecuta en tiempo formula_85 de forma incondicional.