Пример Штейнеровского дерева со счетным числом точек ветвления и несчетным числом концевых точек

Был построен пример Штейнеровского дерева со счетным числом точек ветвления, соединяющего несчетное множество точек и доказано, что оно является единственным Штейнеровским деревом для своих концевых вершин. В процессе построения также получилось целое семейство явным образом построенных конечных штейнеровских деревьев, которые также являются единственными кратчайшими деревьями для своих концевых вершин