Example 1
Tag 07SU, permanent. Cite it as [Bourbaki, Tag 07SU].
Topological Vector Spaces, IV, p. 18, § 2. Bidual. Reflexive spaces
Every finite dimensional Hausdorff space is a Montel space. A normed space which is a Montel space is locally compact, hence is finite dimensional (I, p. 15, th. 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.