Sean formula_93 de forma que formula_56 y que formula_95.