for X being RealUnitarySpace
for f being Function of X,REAL st f is additive & f is homogeneous holds
f " {0} is linearly-closed