Si formula_1 es un anillo y formula_53, claramente formula_50 es un subanillo de formula_3.