The theory of metric spaces applied to infinitely differentiable functions TH¢GER BANG — 1953 Mathematica Scandinavica