Proposition 12
Tag 046H, permanent. Cite it as [Bourbaki, Tag 046H].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
Let be a minimal prime ideal of a ring . For all , there exists and an integer such that .
The set of elements of the form ( an integer , ) is a multiplicative subset of . If , there would exist a prime ideal not meeting (no. 5, Corollary 2 to Proposition 11). Then and since , contrary to the hypothesis that is minimal.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.