P
Initializing...
Theorem 7 — exclusion of the Euler case · Prove2Me