Мне трудно понять следующую лемму из CLRS: Пусть G — поточная сеть, s и t — узлы источника и стока, f — предпоток из s в t, а h — функция высоты на G. Тогда в остаточном графе G ф . Почему это?