Dvoretzky's theorem

(mathematics) An important structural theorem in the theory of Banach spaces, essentially stating that every sufficiently high-dimensional normed vector space will have low-dimensional subspaces that are approximately Euclidean.