En cualquier caso, cada sumando de formula_23 está en formula_2, que es un ideal de formula_1, luego formula_26 y será formula_27.