Theorem 3
Tag 09ZV, permanent. Cite it as [Bourbaki, Tag 09ZV].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
Let g be a semi-simple Lie algebra.
(a) Let . If there exists a faithful representation of g such that is a semi-simple (resp. nilpotent) endomorphism, then x is semi-simple (resp. nilpotent).
(b) Every element of g can be written uniquely as the sum of a semi-simple element and a nilpotent element which commute with one another.
Suppose that the hypothesis of (a) holds. Let be a representation of g, b the supplementary ideal of the kernel of and the projection of g onto b. Then is semi-simple (resp. nilpotent) by the Corollary to Proposition 3 and hence is semi-simple (resp. nilpotent). As , the first assertion follows from the Corollary to Proposition 3. The second result then follows from Proposition 3 applied to a faithful representation.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.