Proof of Theorem 14, p. 15 — summing (1)–(3): (2(n′−(k+1))+k+2)·v_i(X_i) ≥ v_i(M′ ∪ P)

Initializing...

Proof of Theorem 14, p. 15 — summing (1)–(3): (2(n′−(k+1))+k+2)·v_i(X_i) ≥ v_i(M′ ∪ P) · Prove2Me