Dvoretzky's theorem
properNoun
—
(math) 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.