for S, T being RealNormSpace holds ContinuousFunctions (S,T) is linearly-closed