Example 4
Tag 00TP, permanent. Cite it as [Bourbaki, Tag 00TP].
Lie Groups and Lie Algebras, chapter VII, § 2. Cartan subalgebras and regular elements of a Lie algebra
If is of characteristic is the product of the ideals and . It follows from Example 2 and Prop. 2 that the set of diagonal matrices of trace 0 in is a Cartan subalgebra of .
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.