Corollary 2
Tag 01HN, permanent. Cite it as [Bourbaki, Tag 01HN].
Lie Groups and Lie Algebras, chapter IX, § 9. Compact Lie groups operating on manifolds
Let H be a closed subgroup of G. There exists an analytic linear representation of G on a finite dimensional vector space E and a point with fixer H.
Apply Cor. 1 to the canonical operation of G on the compact manifold . This gives an analytic linear representation and an embedding such that . Let be the class of , and its image. For all , we have .
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.