Теорема Менгера

Теорема Менгера (K.Menger, 1927) - Наименьшее число вершин, разделяющих две несмежные вершины [math]\displaystyle{ a }[/math] и [math]\displaystyle{ b }[/math] графа, равно наибольшему числу попарно непересекающихся простых [math]\displaystyle{ (a,b) }[/math]-цепей этого графа.

Теорема Менгера известна в литературе в нескольких вариантах.