Конгруэнции цепей: некоторые комбинаторные свойства

Под конгруэнцией цепи понимается отношение эквивалентности на множестве её вершин, все классы которого являются независимыми подмножествами. Доказана теорема 1 о количестве всех конгруэнций для $m$-рёберной цепи. Для заданного связного графа $G$ теорема 2 находит длину наименьшей цепи, факторизующейся на данный граф.