Corollary 2
Tag 0CA9, permanent. Cite it as [Bourbaki, Tag 0CA9].
General Topology, chapter IX, Appendix 0. Infinite products in normed algebras
If is a multipliable sequence whose product is a unit of , then every subsequence of [ being a strictly increasing sequence of integers] is multipliable.
This follows immediately from the criterion of Theorem 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.