@misc{indiciae47984cc1d917, title = {An elementary direct proof that the Knaster-Kuratowski-Mazurkiewicz lemma implies Sperner's lemma}, author = {Mark Voorneveld}, year = {2017}, doi = {10.1016/j.econlet.2017.06.013}, url = {https://arxiv.org/abs/1706.06740}, note = {Source identifier: 1706.06740} }