Sea formula_1 un anillo unitario.