theorem Th22: :: DUALSP01:17

for X being RealNormSpace holds BoundedLinearFunctionals X is linearly-closed