text: Положим, орграф G обладает свойством, что для любых двух вершин u и v либо существует дуга из u в v, либо полустепень исхода u плюс полустепень захода v не меньше числа вершин G. Тогда, согласно теореме Вудала, G содержит ориентированный гамильтонов цикл.