Talk:Halpern–Läuchli theorem