== Определения =={{Определение|definition =В теории графов '''Ациклический граф (лес)Дерево''' - неориентированный граф, в котором нет две любых вершины соединены единственным простым путем. Другими словами, любой связный граф без цикловдерево.}}{{Определение|definition ='''ДеревоЛес''' - это связный ациклический граф.}}объединение непересекающихся деревьев
==Теорема==