Cuando el anillo formula_2 es conmutativo con identidad 1 y formula_58 un ideal de formula_25 se verifica que formula_88 es conmutativo con identidad formula_89