Sean dos anillos formula_1 y formula_2 de forma que formula_3 es subanillo de formula_4.