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