 Thus our claim holds, and formula_73 which is finitely generated.Note that the only reason we had to split into two cases was to ensure that the powers of formula_3 multiplying the factors were non-negative in the constructions.Let formula_1 be a Noetherian commutative ring.