Corollary 4
Tag 0AFJ, permanent. Cite it as [Bourbaki, Tag 0AFJ].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
Let be another analytic linear representation of on a complete normable space . Let . The following conditions are equivalent:
(i) for all ; (ii) for all .
Let be the linear representation of on derived from and (§ 3, no. 11, Corollary 1 to Proposition 41). Condition (i) means that is invariant under . Condition (ii) means that is annihilated by . It then suffices to apply Corollary 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.