P
Initializing...
A disconnected graph has an edge-free nontrivial cut · Prove2Me