Lemma B.4, p. 30 — the incremental gain of joining platform 1 is greater after joining S′ ⊊ S than after S: V(y₂,S) − V(y₁,S) ≤ V(y₂,S′) − V(y₁,S′)

Initializing...

Lemma B.4, p. 30 — the incremental gain of joining platform 1 is greater after joining S′ ⊊ S than after S: V(y₂,S) − V(y₁,S) ≤ V(y₂,S′) − V(y₁,S′) · Prove2Me