Satz: Für alle Folgen von positiven Zahlen [d1, d2,..., dn] gilt:
Aufgabe: konstruktiver Beweis, d. h. Algorithmus, der den Baum konstruiert
(...nebst Korrektheitsbeweis).