for X, Y being RealNormSpace holds BoundedLinearOperators (X,Y) is linearly-closed