Por el contrario formula_3 nunca será un cuerpo, no importando que formula_1 lo sea o no, pues aunque las unidades de formula_3 sean las mismas que las de formula_1, formula_1 es tan sólo un subanillo de formula_3.