P
Initializing...
Deleting a removable vertex gives a smaller counterexample · Prove2Me