Sea formula_260 un superanillo de formula_212 entonces formula_262