Демидович Ю. А. - Комбинаторика - Теорема об эквивалентности определений дерева