P
Initializing...
Lemma 2.1 — swapping $S_i$ and $S_j$ does not increase $v(X_i)v(X_j)$ · Prove2Me