Lemma 2
Tag 00T1, permanent. Cite it as [Bourbaki, Tag 00T1].
Lie Groups and Lie Algebras, chapter VII, § 1. Primary decomposition of linear representations
Assume that is of characteristic 0. Let be a semi-simple Lie algebra over , B the Killing form of a subalgebra of . Assume that the following conditions are satisfied:
1) the restriction of B to is non-degenerate;
2) if , the semi-simple and nilpotent components of in belong to .
Then is reductive in (Chap. I, § 6, no. 6).
By Chap. I, §6, no. 4, Prop. is reductive. Let be the centre of . If is nilpotent, then ; indeed, for all , ad and ad commute, their composition ad ad is nilpotent, and , so . Now let be an arbitrary element of ; let and be its semi-simple and nilpotent components. We have . Since ad is of the form P(ad ), where P is a polynomial with no constant term, (ad ) and so , and then by the above. Thus ad is semi-simple. Consequently, the restriction to of the adjoint representation of is semi-simple (Chap. I, §6, no. 5, Th. ).
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.