Adott egy $9$-csúcsú konvex poliéder: $P_1$; csúcspontjai legyenek $A_1$, $A_2$, $\text{...}$, $A_9$. Jelöljük $P_i$-val azt a poliédert, amelyet $P_1$-ből az $A_1\to A_i$ eltolással kapunk $(i=2$, $3$, $\text{...}$, $9)$. Bizonyítsuk be, hogy a $P_1$, $P_2$, $\text{...}$, $P_9$ poliéderek közül legalább kettőnek van közös belső pontja!