Für S V(G), q S, sS, definiere = V(G) S.
f (S) = {f (e) | e (S,)} - {f (e) | e (, S)}
Erinnerung: f (N) war definiert als f (V(G) {s},{s}).
Satz (die Größe eines Flusses ist an jedem Schnitt gleich): für jeden Schnitt S von N gilt: f (S) = f (N)