Proof
l Augmenting a unit of flow from s to t
decrements residual capacity of each s-t
cut by exactly one
s
t