Remark 2
Tag 07SN, permanent. Cite it as [Bourbaki, Tag 07SN].
Topological Vector Spaces, IV, p. 16, § 2. Bidual. Reflexive spaces
Let E be a reflexive space and M a closed vector subspace of E. It may happen that neither M nor E/M are reflexive spaces (IV, p. 63, exerc. 10). \* For the case of normed spaces, see prop. 7 of IV, p. 17. \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.