theorem LMN6: :: DUALSP02:12

for X being RealNormSpace
for x being object holds
( x is additive homogeneous Function of X,REAL iff x is additive homogeneous Function of X,RNS_Real )