Corollary 3
Tag 00UF, permanent. Cite it as [Bourbaki, Tag 00UF].
Lie Groups and Lie Algebras, chapter VII, § 2. Cartan subalgebras and regular elements of a Lie algebra
Every Lie algebra is the sum of its Cartan subalgebras.
The sum of the Cartan subalgebras of contains the set of regular elements of (Th. 1 (i)). Since this set is dense in for the Zariski topology, .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.