Пусть

- негамильтонов граф с

вершинами, вершины

и

несмежны, и их соединяет совственный гамильтонов путь. Доказать, что для степеней этих вершин верно неравенство
Подскажите хотя бы идею решения.
Я пытаюсь доказывать от противного. Если

, то число элементов в пересечении окрестностей

. Но дальше, к сожалению, я продвинуться не могу.
Добавлено спустя 6 минут 9 секунд:
И еще вопрос. Где можно почитать про алгоритм Флери построения эйлерова цикла?