Lemma 2 — $b^S$ is sorted and $\alpha$-GSP payments at $b^S$ equal $\alpha$-VCG payments at $b$

Initializing...

Lemma 2 — $b^S$ is sorted and $\alpha$-GSP payments at $b^S$ equal $\alpha$-VCG payments at $b$ · Prove2Me