Noetherian ring
Let formula_1 be a Noetherian ring. Then