Entonces, formula_3 mismo y formula_11 siempre son subanillos de formula_12