Puesto que todos los dominios euclídeos son DIPs, tenemos que formula_3 no es un dominio euclídeo si formula_2 contiene más de un elemento, pues formula_74, y formula_75 nunca es un cuerpo y por tanto tampoco un DIP.