If cf(u,v)>0, then (u,v) is a residual edge. Let Ef denote the set of all residual edges, m=∣E∣≤∣Ef∣≤2∣E∣=2m.