Sea formula_1 un anillo con identidad y sea formula_2 su identidad multiplicativa.