Banach-Euclidean four-point properties
We show how Kirszbraun's theorem on extending Lipschitz mappings in Hilbert space implies its own generalization. There is a continuous extension operator preserving the Lipschitz constant of every mapping.