for X being RealLinearSpace holds LinearFunctionals X is linearly-closed