Si formula_17 está en formula_134, formula_146 está en formula_134 y formula_148, l que no puede ser.