Para todo formula_8 y formula_47: