Example 3

Tag 066B, permanent. Cite it as [Bourbaki, Tag 066B].

Let A be an associative K-algebra. For all $a \in A$ , the mapping $x \mapsto ax - xa$ is a derivation of the algebra A (cf. no. 6).

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