Corollary 1
Tag 04KZ, permanent. Cite it as [Bourbaki, Tag 04KZ].
Commutative Algebra, chapter IV, § 2. Primary decomposition
For every module of finite length over a Noetherian Zing , .
Every element of is then minimal in and the conclusion follows from , no. 3, Corollary 1 to Proposition 7.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.