theorem KLXY1: :: NORMSP_3:34

for X, Y being RealLinearSpace
for f being Function of X,Y st f is additive & f is homogeneous holds
f " {(0. Y)} is linearly-closed