Proposition 4
Tag 0455, permanent. Cite it as [Bourbaki, Tag 0455].
Commutative Algebra, chapter II, § 1. Prime ideals
*Let be ideals of a ring . If is relatively prime to each of the (), it is relatively prime to .
Let be a prime ideal of . If contains and it contains one of the (no. 1, Proposition 1), which is absurd since and are relatively prime.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.