It seems a lot of impossibility theorems - the type that the ancient Greeks would have understood - can be proven using algebraic topology. Perhaps Sperner's lemma can be seen as an algebraic topology theorem? I don't personally know.
Thanks for sharing this proof! As someone who enjoys math but never got myself through enough Galois theory to finish the standard proof, it's fantastic to see a proof that's more elementary while still giving a sense of why the group structure is important.
That should be 'edge', not 'face', no? Otherwise I do not understand what is happening at all with the examples.
It seems a lot of impossibility theorems - the type that the ancient Greeks would have understood - can be proven using algebraic topology. Perhaps Sperner's lemma can be seen as an algebraic topology theorem? I don't personally know.