theorem Th13: :: CLOPBAN1:13

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