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