theorem Th22: :: LOPBAN_1:22

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