Si hay 3 intervalos, de manera que 2 de ellos se intersecan, entonces los 3 de ellos se intersecan.
Para cualquiera de los 4 discos, si 3 de ellos tienen una intersección no vacía, entonces los 4 tienen una intersección común.
Esto parece generalizar a dimensiones superiores.
¿Cuál es esta propiedad, que para algunas$n$, saber que todo el subconjunto de tamaño$n-1$ de$n$ formas tiene intersección no vacía implica que todas las formas tienen intersección no vacía?