Изменения

}}

Очевидно, это условие не распространяется на первую и последнюю вершины цикла.

Возьмём два существующих пути между нужными нам вершинами: <math>V_0E_1V_1E_2V_2 ... E_nV_n</math>, <math>v_0e_1v_1e_2v_2 ... e_mv_m</math>, <math>V_0 = v_0</math>, <math>V_n = v_m</math>. Удалим из них одинаковые префиксы и суффиксы, оставив из них только последние и первые вершины, соответственно. Оставшиеся пути: <math>V_aE_{a+1} ... E_bV_b</math>, <math>v_ae_{a+1} ... e_cv_c</math>, <math>V_a = v_a</math>, <math>V_b = v_c</math>, <math>E_{a+1} \neq e_{a+1}</math>, <math>E_b \neq e_c</math>.