P
Initializing...
Lemma 2.12 — some node takes the value ½ at every FRAC-maximizer · Prove2Me