Menger's Theorem
[6/67%]From every connected multigraph one can remove a vertex (together with all edges incident to it) so that it remains connected.
A graph or multigraph is called 2-connected if it differs from and remains connected after the removal of any vertex.
A special case of the vertex version of Menger's theorem. Any two distinct vertices of a 2-connected multigraph that are not joined by an edge lie on some non-self-intersecting cycle.
Is it true that for any path in a multigraph having at least three vertices there exists another path in the same multigraph with the same endpoints that does not intersect anywhere except at the endpoints?
If a multigraph has at least one edge and, after the removal of any edge, there is still a path between the vertices and , then the multigraph contains two paths between the vertices and having no edges in common.
For any edge of a 2-connected graph different from , at least one of the graphs and is 2-connected.
For any two vertices of a convex polyhedron there exist three paths along its edges from one vertex to the other that are disjoint (everywhere except at these vertices). (Such graphs are called 3-connected.)
For a 3-connected graph with an edge (whose vertices are ), the graph is 3-connected if and only if the graph is 2-connected.
Whitney's theorem (vertex version). A multigraph remains connected after the removal of any vertices if and only if any two of its vertices can be joined by paths intersecting only at these two vertices.
Menger's theorem (vertex version). If vertices and of a multigraph that are not joined by an edge remain in the same connected component after the removal of any other vertices, then and can be joined by paths intersecting only at these two vertices.
Call vertices and of a graph equivalent if there exists a sequence of vertices such that any two consecutive vertices and can be joined by paths having no common intermediate vertices. Then any two equivalent vertices can be joined by paths having no common edges.