Lemma 2 (Straddling Lemma), p. 42 — for ∅ ⊊ I ⊊ [k], ∏_{i∈I} α_i and ∏_{i∈I′} α′_i are distinct multilinear monomials in the γ's

Initializing...

Lemma 2 (Straddling Lemma), p. 42 — for ∅ ⊊ I ⊊ [k], ∏_{i∈I} α_i and ∏_{i∈I′} α′_i are distinct multilinear monomials in the γ's · Prove2Me