Corollary 3
Tag 09ZH, permanent. Cite it as [Bourbaki, Tag 09ZH].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
If is semi-simple, every derivation of is inner.
is isomorphic to and hence semi-simple and is an ideal of the Lie algebra of derivations of (, Proposition 1). If commutes with the elements of , then, for all , , whence ; hence . Corollary 3 then follows from Corollary 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.