Corollary

Tag 0A3E, permanent. Cite it as [Bourbaki, Tag 0A3E].

Lie Groups and Lie Algebras, chapter II, § 2. Free Lie algebras

If Card X $\geq 2$ , then $H \cap M^n(X) \neq \varnothing$ for every integer $n \geq 1$ .

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

Cited by

Nothing.