Sea formula_3 un anillo conmutativo con identidad.