Starting from zero, one valid run of the Ford-Fulkerson algorithm augments along
The resulting nonzero edge flows are
and they obey every capacity constraint and every flow-conservation equation. The flow value is