Además, para cada formula_153 tenemos que