theorem Th23: :: HAHNBAN:23

for V being RealNormSpace holds the normF of V is subadditive absolutely_homogeneous Functional of V