Subsection III.4.2.3

Polynomial extensions of factorial rings