The story
Proved by Aryeh Dvoretzky in the early 1960s.
Etymology from Wiktionary, CC BY-SA 4.0.
Dvoretzky's theorem
Today it means: 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. Full definition →