任一容量网络中，从起点到终点的最大流的流量等于分离起点和终点的任一割集的容量