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