Để đưa ra một chứng minh đơn giản hơn chứng minh ban đầu rất phức tạp của Định lí điểm bất động Brouwer (1912), ba nhà toán học Balan là Knaster, Kuratowski và Mazurkiewicz đã chứng minh một kết quả quan trọng về giao khác rỗng của hữu hạn các tập đóng trong không gian hữu hạn chiều (1929), kết quả này sau gọi là Bổ đề KKM. Năm 1961, Ky Fan mở rộng bổ đề này ra không gian vô hạn chiều, kết quả này sau gọi là Nguyên lí ánh xạ KKM. Năm 1972, dùng Nguyên lí ánh.