Generalization of Menger's Edge Theorem to Four Vertices

Avraham Goldstein

Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges doe…