Proposition 4
Tag 04D9, permanent. Cite it as [Bourbaki, Tag 04D9].
Commutative Algebra, chapter III, § 1. Finitely generated graded algebras
Let be a graded ideal of ; for to be prime, it is necessary and sufficient that, if satisfy and then .
The condition is obviously necessary. Conversely, if it is fulfilled, then in the graded ring the product of two homogeneous elements is and hence is an integral domain (Algebra, Chapter II, § 11, no. 4, Proposition 7).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.