P
Initializing...
Lemma 2: homogeneous random-scoring lemma · Prove2Me