求助：关于有源汇上下界最大流

在求出 $flow1$ 之后，然后 $c_i=R_i-L_i-f(i)$ 得到剩余容量，进行跑最大流，求出 $flow2$，最后 $ans=flow1+flow2$。

为什么剩余容量一定不会增加，即求出新的最大流之后，$f(i)$ 不会减少，使得最大流更大，求证明。