Corollary 3
Tag 0AF7, permanent. Cite it as [Bourbaki, Tag 0AF7].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
*Let be a Lie group, an analytic linear representation of , and . (i) ; (ii) ; (iii) . The argument is as in , no. 4, Corollaries 2 and 3 to Proposition 8.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.