ネーター環
is an ascending chain of ideals of formula_20 Since formula_21 is a Noetherian ring, there exists an integer formula_5 such that