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