Corollary 3
Tag 018C, permanent. Cite it as [Bourbaki, Tag 018C].
Lie Groups and Lie Algebras, chapter VIII, § 12. Chevalley orders
Let . If and , we have , and (ad )! leaves and stable.
This is clear if , by construction of and Cor. 1. In the general case, there exists such that (Chap. VI, §1, no. 5, Prop. 15). By Cor. 2, there exists an automorphism of that leaves and stable and takes to , hence the corollary by transport of structure.
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.