Sea formula_3 un anillo con identidad.