Example 3
Tag 04KJ, permanent. Cite it as [Bourbaki, Tag 04KJ].
Commutative Algebra, chapter IV, § 2. Primary decomposition
Let be a maximal ideal of ; the m-primary ideals are then the ideals of for which there exists an integer such that . For if , is the only prime ideal containing (Chapter 11, , no. 1, Corollary to Proposition 1) and the conclusion follows from Example 2; conversely, if is m-primary, is the radical of and there therefore exists such that (Chapter II, , no. 6, Proposition 15).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.