However, the set of trees in Xp may be precisely characterized: these trees are exactly the trees that can be formed from three trees in Xp − 1 by connecting a new root vertex by an edge to an arbitrarily chosen vertex in each of the three smaller trees.
Однако множество деревьев в Xp можно точно описать — это в точности те деревья, которые можно образовать из трёх деревьев из Xp − 1 путём образования нового корня и соединения его рёбрами с произвольно выбранными вершинами меньших деревьев.