for X being RealUnitarySpace
for f being Function of X,REAL
for g being Function of (RUSp2RNSp X),REAL st f = g holds
( f is additive & f is homogeneous iff ( g is additive & g is homogeneous ) )