Sea formula_1 un anillo conmutativo con identidad.