Dvoretzky's theorem

Etymology
Proved by Aryeh Dvoretzky in the early 1960s.

Proper noun

 * 1)  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.