(en) Pete L. Clark, « Commutative algebra », sur alpha.math.uga.edu, , p. 283-285 et 290, en donne quatre preuves : la preuve classique par le lemme de Gauss présentée ici (voir infra), deux preuves par la caractérisation « condition de chaîne ascendante sur les idéaux principaux + lemme d'Euclide » (voir infra), et une par le critère de Nagata (voir infra).
(en) Hale F. Trotter, « An overlooked example of nonunique factorization », Amer. Math. Month., vol. 95, no 4, , p. 339-342 (lire en ligne).