theorem Th14: :: LOPBAN_1:14

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