Se asume que formula_6.