Lemma 1
Tag 09ZI, permanent. Cite it as [Bourbaki, Tag 09ZI].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
Let be a semi-simple Lie algebra. The adjoint representation of is semi-simple. Every ideal and every quotient algebra of is semi-simple.
Let be an ideal of . The orthogonal of in with respect to the Killing form is an ideal of and is a commutative ideal (, no. 6, Proposition 7) and hence zero. Hence is supplementary to in . Moreover, as the Killing form of is non-degenerate, so are its restrictions to and (Algebra, Chapter IX, , no. 1, Corollary to Proposition 1) and hence and are semi-simple (no. 1, Theorem 1 and , no. 6, Proposition 9).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.