En cualquier dominio de integridad, el ideal formula_333 es un ideal primo.