Изменения

Для любого <tex>s \in S \setminus I</tex> имеем <tex>I + \cup s \in J \Leftrightarrow </tex> существует ориентированный путь из <tex>F</tex> в <tex>s</tex> по ребрам <tex>D</tex>.