Noetherian ring
Lemma: Let "A" be a formula_24-graded ring. If "A" is a Noetherian ring, then formula_32 is a finitely generated formula_27-algebra.