Sperner%27s lemma

undefined