Unique Factorization of Ideals