Teorema: Un anillo de Dedekind R es un dominio de factorizacion unica si y solo si es de ideales principales.