If f is an s-t-flow such that there is no s-t path in the residual graph Gf ,then there is an s-t cut (A∗, B∗) in G for which ν(f) = c(A∗, B∗). Consequently, f has the maximum value of any flow in G, and (A∗, B∗) has the minimum capacity of any s-t cut in G.