Für
S
V(G), q
S, s
S,
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)