P
Initializing...
Inclusion and reverse edge-count bound imply equality · Prove2Me