Zeige, dass der gelabelte vollständig bipartite Graph \( K_{2, n} \) genau \( n \cdot 2^{n-1} \) aufspannende Bäume besitzt.
Hinweis: Für zwei disjunkte Knotenmengen \( A \) und \( B \) mit \( |A|=m \) und \( |B|=n \) ist \( K_{m, n}=(A \dot{\cup} B, A \times B) \).