Si llamamos formula_45, entonces tenemos que formula_46.