En el caso de formula_8, esto da formula_45.