The story
The initial result of this kind was proved by Emanuel Sperner.
Etymology from Wiktionary, CC BY-SA 4.0.
Sperner's lemma
Today it means: A combinatorial analog of the Brouwer fixed-point theorem, stating that every Sperner coloring of a triangulation of an n-dimensional simplex contains a cell colored with a complete set of colors. Full definition →