Augmentation Lemma for Network Flows