Vimos arriba que cuando formula_44 es un dominio de integridad, en particular un cuerpo, formula_154 también es un dominio de integridad.