Dados dos conjuntos convexos compactos $K, K'$ en el plano euclidiano con área $A, A'$ y perímetros $L, L'$, la condición $2\pi(A+A')-LL'>0$ es suficiente para asegurar que uno de los conjuntos contiene al otro.
En esta charla veremos una condición suficiente para el mismo problema en un ambiente euclidiano tridimensional.