143
правки
Изменения
Лемма
{{Лемма
|statement=x, y вершины G, существует k вершинно непересекающихся пути из x в y. Тогда каждый из выбранных k путей будет иметь не более, чем одну точку пересечения с остальными путями.
|proof=
Пусть, существуют пути <math>x, u_1 ...q...p... u_n, y</math>, <math>x, v_1 ...q... v_m, y</math> и <math>x, w_1 ...p... w_p, y</math> тогда последние 2 пути не пересекаются с первыми k, а по условию у нас всего k непересекающихся путей, а не <math>k + 1</math>
}}
{{Теорема
|statement=
