Si formula_47 (es decir, si el anillo es unitario), entonces se exigirá además que formula_48.