271
правка
Изменения
Нет описания правки
Если для <math>\forall k</math> верна импликация <math>d_k \le k < n/2 \Rightarrow d_{n-k} \ge n-k</math> (*),
то '''G''' - гамильтонов.
}}
Прежде чем доказать теорему, добавим несколько лемм.
{{Лемма(I)
|statement=
Если <math>\ d_k </math> <= k, то число вершин, степень которых не превосходит k, больше или равно k.
Верно и обратное утверждение.
}}