定理8(整流定理) 最大流问题所对应的约束矩阵是全幺模矩阵。