Let A be a graded K-algebra of type Z; a graded linear K-mapping of degree 0, d:A→A, is defined by taking, for xn∈An(n∈Z), d(xn)=nxn. This mapping is a derivation of A, since, for xp∈Ap,xq∈Aq,
d(xpxq)=(p+q)xpxq=d(xp)xq+xpd(xq).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.