theorem Th21: :: CLOPBAN1:21

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