Proof. If the edge (r, s) from the root to the sink is included in the spanning tree, then each of the principal branches of Tn may be assigned an oriented spanning tree independently, so there are t n−1 such spanning trees. On the other hand, if (r, s) is not included in the spanning tree, there is a directed path r → x1 → . . . → xn−1 → s in the spanning tree from the root to the sink. In thi...