En la última sección, mostraremos que las relaciones de inclusión entre esas clases son estrictas, es decir hay DIPs que no son euclídeos y DFU que no son DIPs.