Push everything the network will take, and what stops you is never one lane — it is a set of lanes that together separate the plant from the customer. Their capacities add up to exactly the flow that got through. The theorem is that these two numbers are always equal, which has a blunt consequence: widening any lane not in that set buys you nothing at all.