Даёт необходимое условие существования пути связывающее две вершины графа.
Теорема(критерий пути): Набор дуг образует путь из xp в xq <=> выполняютя соотношения:
1. сумма по k от 1 до L gikp=-1 (условие выхода из xp)
2. сумма по k от 1 до L gikq= 1 (условие входа в хq)
3. сумма по k от 1 до L giks=0 (условие транзита или пропуска узла xs)