Haven't read the article. But something about this reminds me of Arnold's topological proof of the unsolvability of the quintic (YouTube form: https://www.youtube.com/watch?v=BSHv9Elk1MU ; PDF: https://web.williams.edu/Mathematics/lg5/394/ArnoldQuintic.p...).

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.