P
Initializing...
Lemma 4: the third range reduction, down to $n$ · Prove2Me