Fraňková-Helly selection theorem