for X being RealNormSpace holds BoundedLinearFunctionals X is linearly-closed