The Knaster–Kuratowski–Mazurkiewicz lemma is a basic result in mathematical fixed-point theory published in 1929 by Knaster, Kuratowski and Mazurkiewicz. The KKM lemma can be proved from Sperner's lemma and can be used to prove the Brouwer... Wikipedia