命題
K を実数体または複素数体とする。
E を K 上の線形空間とする。
A を E の部分集合とする。
A の凸平衡包(>>3)は平衡的である。

証明
A の凸平衡包を B とする。
>>10 より B の任意の元 x は x = Σ(λ_i)x_i と書ける。
ここで (x_i) は A の元の有限列であり、
(λ_i) は K の元の有限列で Σ|λ_i| ≦ 1 となるもの。

μ ∈ K, |μ| ≦ 1 なら
μx = Σμ(λ_i)x_i であり、Σ|μλ_i| ≦ |μ|Σ|λ_i| ≦ 1
よって μx ∈ B である。
即ち、B は平衡的である。
証明終