命題
E を実数体 R 上の位相線形空間とする。
A を E の空でない開凸集合とする。
B を E の空でない開凸集合で A ∩ B = φ とする。

このとき A と B を強分離する閉超平面(>>151) H が存在する。

証明
>>159 より A と B を分離する閉超平面 H が存在する。
>>156 より H は A と B を強分離する。
証明終