ula_18，因此formula_19。反过来，任意formula_19，必有formula_17，否则x,y在G-S中通过v连通。因此，formula_22。构造一个新的图formula_23，使得formula_24是G的formula_15-导出子图再加上一个新的点y′，使得y′与S中所有点相连。因为G中每一条x,y-路径都从x开始经过S，所以H中的x,y′-点割集也是G中的x,y-点割集。又因为S是H的x,y′-点割集，所以formula_26。又因为|N(y)-S|>0，所以H比G的阶数小，根