Corollary 3
Tag 00TU, permanent. Cite it as [Bourbaki, Tag 00TU].
Lie Groups and Lie Algebras, chapter VII, § 2. Cartan subalgebras and regular elements of a Lie algebra
Let be a Cartan subalgebra of a Lie algebra , and let be a term of the descending central series of (Chap. I, §1, no. 5). Then .
Indeed, Corollary 2 shows that the image of in is a Cartan subalgebra of , hence is equal to since is nilpotent (Example 1).
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.