formula_6 o formula_7.