P
Initializing...
Exclusion of degree at least two — Theorem 9, case IV · Prove2Me