This proves that the flow we found is maximal.
这说明我们找到的流是最大的。