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