Theorem characterizing graph connectivity by disjoint paths
Currently, there are no issues on this topic. Create one.