Sea formula_7 un dominio euclídeo con norma euclídea formula_83 Entonces, formula_7 es un DIP (cada ideal es principal).