P
Initializing...
Theorem 9 — exclusion of degree at least two · Prove2Me