正式には、formula_1を(ハウスドルフと仮定される)局所凸位相ベクトル空間とし、formula_2をformula_1のコンパクトな凸部分集合とするとき、formula_2はその極点の閉凸包となることが、この定理では主張されている。