Definition 3
Tag 05IT, permanent. Cite it as [Bourbaki, Tag 05IT].
Algebra, chapter I, § 9. Fields
In a commutative ring , an ideal satisfying the conditions of Proposition 4 is called a prime ideal.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.