Edmonds-Karp Distance Monotonicity Lemma