Corollary
Tag 04MK, permanent. Cite it as [Bourbaki, Tag 04MK].
Commutative Algebra, chapter IV, § 3. Primary decomposition in graded modules
For every (necessarily graded) prime ideal associated with a graded -module , there exists an index such that the graded -module obtained from the graded -module by diminishing the degrees by (Algebra, Chapter II, § 11, no. 2) is isomorphic to a graded submodule of .
With the notation of the proof of Proposition 1, consider the homomorphism obtained, by taking quotients, from the homomorphism of to ; the latter is a graded homomorphism of degree and hence it gives on taking quotients a graded bijective homomorphism of degree of onto a graded submodule of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.