El teorema de Menger y el número de trayectorias disjuntas por pares.

Question

En una prueba, me encontré con esta afirmación:

 By Menger's Theorem, for each $x,y$ there are $k'(G)$ 
 pairwise edge-disjoint $x,y$ path, where $k'(G)$ is the minimum size 
 of a disconnecting set of edges.

¿Por qué es esto cierto? No se ha demostrado, sino que se ha afirmado como si fuera obvio. (Para mí no lo es).

Answer 1

Este no es un teorema obvio, pero es bastante conocido. Aquí es una prueba única.