P
Initializing...
Proper simple graph inclusion strictly increases edge count · Prove2Me