Изменения

## Какое-то мутное доказательство леммы про корректность алгоритма

<ol value="2">

<li> [[Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре]] </li>