Определение. Цикл называется простым, если он не проходит через одну вершину более одного раза.
Теорема 5. Если у графа G(X,T) все простые циклы четной длины, то граф не имеет ни одного цикла нечетной длины.