for X, Y being ComplexLinearSpace holds LinearOperators (X,Y) is linearly-closed