Todo lo anterior muestra que formula_361 es un subanillo de formula_4, por lo que es un dominio de integridad.