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