Remark. Our proof is non-constructive, in that it does not provide us with a systematic way of obtaining k edge-disjoint paths, or even of finding the value of k edge-disjoint paths, or even of finding the value of k. An algorithm that can be used to solve these these problems is given in the next section.