P
Initializing...
The one-edge extension strictly increases the edge count · Prove2Me