Let P be the maximal path in G that starts from c with an edge from M1 and whose edges alternate between M1 and M2.
Припустимо P — максимальний шлях у G який починається з c ребром від M1 ребра який змінюється між M1 і M2.