Nótese que nuestra exigencia era que para cada formula_24, formula_25.