Corollary 2
Tag 013E, permanent. Cite it as [Bourbaki, Tag 013E].
Lie Groups and Lie Algebras, chapter VIII, § 7. Finite dimensional modules over a split semi-simple Lie algebra
Let . For all , the vector subspaces and have the same dimension. The set of weights of V is stable under W.
Indeed, is of the form with Aut§2, no. 2, Cor. of Th. 2).
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.