for X, Y being RealLinearSpace
for f being Function of X,Y st f is additive & f is homogeneous holds
rng f is linearly-closed