Para todo formula_6 y formula_8: