Теорема ПошаПусть граф

имеет

вершин и выполнены следующие два условия: если для всякого

, число вершин со степенями, не превосходящими

, меньше чем

, и если для нечетного n число вершин степени

не превосходит

, то

- гамильтонов граф.
Теорема ОреЕсли

для любой пары

и

несмежных вершин графа

, то

- гамильтонов граф
Никак не могу понять, как из теоремы Поша следует теорема Оре.