We turn now to the other problem mentioned at the beginning of the section-to find the number of vertex-disjoint paths from v to w. It was actually this problem that Menger himself solved, although his name is usually given to both of Theorems 28.1 and 28.2. The proof of Theorem 28.1 goes through with only minor changes, mainly involving the replacement of such terms as 'edge-disjoint' and 'incident' by 'vertex-disjoint' and 'adjacent'. We now state vertex form of Menger's theorem-its proof is omitted.