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