Corollary 5
Tag 00TW, permanent. Cite it as [Bourbaki, Tag 00TW].
Lie Groups and Lie Algebras, chapter VII, § 2. Cartan subalgebras and regular elements of a Lie algebra
Let be a Lie algebra, E a subset of . Let E operate on by the adjoint representation. Then E is a Cartan subalgebra of if and only if .
The condition is necessary (Prop. 4). Assume now that . By Prop. 2 (ii) of §1, no. 1, E is then a subalgebra of . If , ad is nilpotent since ; hence the algebra E is nilpotent. But then E is a Cartan subalgebra by Prop. 4.
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.