Como lo anterior implica que se cumple la condición de cadena finita de divisores y que los irreducibles son primos, concluimos que