Sea formula_1 un anillo conmutativo con 1 (puede ser 1=0, entonces formula_2).