Proposition 3
Tag 066J, permanent. Cite it as [Bourbaki, Tag 066J].
Algebra, chapter III, § 10. Derivations
Let be an -derivation of degree . Then is a graded subalgebra of A; if A admits a unit element, it belongs to .
Clearly is a graded sub-K-module of A; further, relation (8) of no. 2 shows that, if and are two homogeneous elements belonging to , then and hence . Finally, if A admits a unit element 1 (of degree 0, cf. § 3, no. 1), relation (8) of no. 2, where and are replaced by 1, gives and hence .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.