Luego, formula_35 es un subanillo de los complejos.