设 ω∈P++;用 E(ω) 权 S(ω) 集合表示,其他字最小的 R 饱和 P 包含 ω 子集(命题 5)。如果λ∈S(ω),我们有λ≡ω(mod.Q)。相反,令 λ∈P 满足 λ≡ω (mod. Q);证明等价以下性质: (i) λ∈S(ω);
(ii) ω−wλ∈Q+ 对于所有 w∈W;
(iii) λ属于到hR∗中W.ω的凸包。
(证明(iii)=⇒(ii),注,ω−wω是R+的元素的线性组合,系数为≥0;通过凸性推导出ω−wλ具有相同的性质;因为ω−wλ属于到Q,这意味着ω−wλ∈Q+。证明(ii)=⇒(i),选择w使得wλ∈P++,并应用第3条的Cor.2。含义(i)=⇒(iii)是直接的。)