Corollary 2
Tag 0AG1, permanent. Cite it as [Bourbaki, Tag 0AG1].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
Let E be a complete normable algebra over and . Suppose that every satisfies . The following conditions are equivalent: (i) w is a derivation of E; (ii) exp w is an automorphism of E. This follows from Corollary 1 with and the multiplication of E.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.