ثابت کنید هر مجموعه $n+۲$ عضوی از اعضای $\mathbf{R^n}$ را که در نظر بگیریم ، میتوان به دو مجموعه مجزا تقسیم کرد که پوش محدب آن دو مجموعه اشتراک داشته باشند.
منظور از پوش محدب $u_1$ تا $u_n$ مجموعه زیر است :
$$\bigg\{\sum _{i}t_iu_i \hspace{0.2cm}|0\le t_i\le 1,\hspace{0.1cm}\sum_i t_i=1\bigg\}$$
