Este es un dominio de integridad, y sus elementos primos son los primos gaussianos.