Franková-Helly selection theorem
 
x
OK