Property 6.1 implies that if we find a flow x that equals the capacity of some cut [S, ] then x is a maximum flow and [S, ] is a minimum cut.
We will reference this in the max-flow min cut theorem.

We can also state property 6.1 in terms of the residual capacity.