Введем следующие обозначения


...

Пусть, далее

, тогда


...


Точки

являются вершинами многогранника для которого точка

является внутренней, так как

- выпуклое множество, то весь многогранник содержится в

. Т.е.

является внутренней точкой множества

. Утверждение доказанно.