Corollary

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

Lie Groups and Lie Algebras, chapter II, § 5. Magnus algebras

The intersection of the normal subgroups of finite index in $F(X)$ is $\{1\}$ .

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

Cited by

Nothing.

Nothing.