P
Initializing...
Descent: a minimal counterexample with more than nine vertices has a removable vertex · Prove2Me