Proposition 1
Tag 0606, permanent. Cite it as [Bourbaki, Tag 0606].
Algebra, chapter III, § 3. Graded algebras
Let be a graded commutative ring of type , a graded -algebra of type and a set of homogeneous elements of . Then the sub--algebra (resp. left ideal, right ideal, two-sided ideal) generated by is a graded subalgebra (resp. graded ideal)..
The subalgebra of generated by is the sub--module generated by the finite products of elements of , which are homogeneous; similarly, the left (resp. right) ideal generated by is the sub--module generated by the elements of the form (resp. ) ) where s ∈ S and the u_j ∈ E are homogeneous (n arbitrary) and these products are homogeneous, whence in this case the conclusion by virtue of II, § 11, no. 3, Proposition 2); finally the two-sided ideal generated by S is the union of the sequence (\mathfrak{I}_n)_{n \geq 1}, where \mathfrak{I}_1 is the left ideal generated by S and \mathfrak{I}_{2n} (resp. \mathfrak{I}_{2n+1}) the right (resp. left) ideal generated by \mathfrak{I}_{2n-1} (resp. \mathfrak{I}_{2n}), which completes the proof.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.