Talk:Ky Fan lemma