Example 2
Tag 04KI, permanent. Cite it as [Bourbaki, Tag 04KI].
Commutative Algebra, chapter IV, § 2. Primary decomposition
Let be an ideal of such that there exists a single prime ideal (necessarily maximal) containing ; then, if is an -module such that , is m-primary with respect to . For every element of contains , hence is equal to and (, no. 1, Corollary 1 to Proposition 2). In particular is an m-primary ideal in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.