formula_5 o formula_6.