Se verifica que los dominios de ideales principales (DIPs) son siempre DFUs.