Corollary 2
Tag 046M, permanent. Cite it as [Bourbaki, Tag 046M].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
For an ideal of a ring we denote by the radical of . Then, for two ideals of ,
in particular, if , then .
For a prime ideal to contain (or ), it is necessary and sufficient that it contain one of the ideals (§ 1, no. 1, Proposition 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.