广义霍尔定理

见到的一个小推广，但感觉挺有用，记录一下。

对于一个如下形式的网络最大流：

其左部边 $a$ 能流满，当前仅当对于任意左部点点集 $S$，$\sum _{x\in S}{a}_x\le \sum _{y\in T}{b}_y$，其中 $T$ 为 $S$ 相邻的右部点集合。

证明同样是归约到普通霍尔定理，没什么好说的。