Corollary 1
Tag 00WO, permanent. Cite it as [Bourbaki, Tag 00WO].
Lie Groups and Lie Algebras, chapter VII, § 5. Decomposable linear Lie algebras
If is a decomposable Lie subalgebra of , and a Lie subalgebra of , the normalizer (resp. centralizer) of in is decomposable.
This follows from Prop. 3 by taking (resp. ).
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.