Sperner's Lemma

Lemma that every Sperner coloring of a triangulated simplex contains a properly colored simplex.