Sperner's lemma

Etymology
The initial result of this kind was proved by.

Proper noun

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