Como formula_35 está contenido en los Complejos no puede contener elementos no nulos cuyo producto sea cero, además como la multiplicación es conmutativa, vemos que se trata de un dominio de integridad.