Corollary
Tag 066T, permanent. Cite it as [Bourbaki, Tag 066T].
Algebra, chapter III, § 10. Derivations
Let be a generating system of the algebra . In order that , it is necessary and sufficient that for all .
This is an immediate consequence of Proposition 9 and no. 5, Corollary to Proposition 3.
Under the conditions of Proposition 9, we know that has (by means of ) an -bimodule structure (II, § 1, no. 14, Example 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.