Corollary
Tag 0C4Y, permanent. Cite it as [Bourbaki, Tag 0C4Y].
General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras
Let A be a complete normed algebra. Then for each such that , is a unit in A.
The series whose general term is is absolutely convergent, since for , and is therefore convergent, since A is complete (no. 6, Proposition 11).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.