Lemma 2
Tag 09ZJ, permanent. Cite it as [Bourbaki, Tag 09ZJ].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
Let be a Lie algebra. Then the following two conditions are equivalent: (a) All finite-dimensional linear representations of are semi-simple. (b) Given a linear representation of on a finite-dimensional vector space and a vector subspace W of codimension 1 such that for all , there exists a supplementary line of W which is stable under (and hence annihilated by ).
Clearly (a) implies (b). Suppose that (b) holds. Let be a finite-dimensional representation of on a vector space M and N a vector subspace which is stable under . Let be the representation of on canonically derived from (§ 3, no. 3): recall that . Let V (resp. W) be the subspace of consisting of the linear mappings of M into N whose restriction to N is a homothety (resp. zero); then W is of codimension 1 in V and for all . By condition (b), there exists which is annihilated by for all and whose restriction to N is a non-zero homothety. By multiplying by a suitable scalar, it can be assumed that is a projector of M onto N. To say that means that is permutable with . Hence the kernel of is a supplement of N in M which is stable under for all . Hence is semi-simple.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.