P
Initializing...
Edge count is monotone under adjacency inclusion · Prove2Me