P
Initializing...
Maximum edge count implies inclusion maximality · Prove2Me