Es el caso de formula_7 .