Talk:Fraňková–Helly selection theorem