P
Initializing...
Lemma 8: a bounded auxiliary polynomial with prescribed zeros · Prove2Me