Example 4
Tag 04KK, permanent. Cite it as [Bourbaki, Tag 04KK].
Commutative Algebra, chapter IV, § 2. Primary decomposition
In a principal ideal domain , the primary ideals are and the ideals of the form , where is an extremal element and ; this follows immediately from Example 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.