P
Initializing...
Base case: exclude a nine-vertex counterexample · Prove2Me