para formula_145 tales que .