Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями

Лемма:

Пусть [math]f[/math] - блокирующий поток в графе [math]G[/math]. [math]s[/math], [math]t[/math] - исток и сток соответственно. Тогда [math]\rho_{G}(s, t) \lt \rho_{G_{f}}(s, t)[/math]