Proposition 5
Tag 04KU, permanent. Cite it as [Bourbaki, Tag 04KU].
Commutative Algebra, chapter IV, § 2. Primary decomposition
Let be a Noetherian ring, an -module, a submodule of , a reduced primary decomposition of in and, for all , let . If is a minimal element of , is equal to the saturation on with respect to (Chapter 11, § 2, no. 4) (cf. Exercise 2).
We can obviously restrict our attention to the case where , replacing if need be by . If is minimal in , the set of elements of which do not meet reduces to ; the proposition then follows from formula (3) above and § 1, no. 2, Proposition 6, the kernel of the canonical mapping , being equal to the saturation of 0 with respect to (Chapter 11, § 2, no. 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.