Proposition 5
Tag 011E, permanent. Cite it as [Bourbaki, Tag 011E].
Lie Groups and Lie Algebras, chapter VIII, § 4. Split semi-simple Lie algebra defined by a reduced root system
Let be a framed semi-simple Lie algebra, and the corresponding generating family. There exists a unique automorphism of such that for all . We have Id, and for all .
The uniqueness is clear since generates the Lie algebra . In view of Prop. 4, the existence of follows from what we said in no. 3 before Th. 1.
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.