formula_4 tales que formula_5