Talk:Ellis–Numakura lemma