Corollary
Tag 04KT, permanent. Cite it as [Bourbaki, Tag 04KT].
Commutative Algebra, chapter IV, § 2. Primary decomposition
Let be a Noetherian ring, an -module, a submodule of and a primary decomposition of in . Then ; for to be a reduced primary decomposition, it is necessary and sufficient that .
It follows from the remarks preceding Proposition 4 that there exists a reduced primary decomposition of in such that ; the first assertion then follows from the second and the latter is a consequence of Proposition 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.