Remark
Tag 0A3L, permanent. Cite it as [Bourbaki, Tag 0A3L].
Lie Groups and Lie Algebras, chapter II, § 2. Free Lie algebras
Suppose that consists of two distinct elements and and let be the submodule of the sum of the where and . It follows immediately from Theorem 1 and Proposition 12 of no. 10 that the elements of where is an integer form a basis of the submodule . It follows that the restriction to of the mapping ad is injective.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.