Isometric Embedding in lp-spaces

We prove that every n -point subset of l p (1 ⩽ p ⩽ ∞) embeds isometrically into l p m , where l p m , and that for 1 ⩽ p