Sea formula_44 un anillo conmutativo con identidad y sea formula_154 el anillo de polinomios en la indeterminada formula_125 con coeficientes en formula_49 Supongamos que formula_159 fuera un superanillo de formula_47 o sea un anillo que contiene a formula_44 (pero no necesariamente conmutativo), y que formula_191 fuera un elemento de formula_159 que conmuta con todos los elementos de formula_49 (En particular, si formula_159 fuera conmutativo, cualquier elemento de formula_161)