Sean formula_44 y formula_159 anillos tales que formula_44 es un subanillo de formula_161 Entonces, cada polinomio en formula_154 puede considerarse un polinomio en formula_163 Por lo que siempre consideraremos que formula_154 es un subanillo de formula_163