Corollary 1

Tag 05Y7, permanent. Cite it as [Bourbaki, Tag 05Y7].

If N is a graded submodule of M and $(x_i)$ is a generating system of N, the homogeneous components of the $x_i$ form a generating system of N.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.