P
Initializing...
Proof of Proposition 5, p. 30 — $w_2>w_1$ · Prove2Me