rt，bdfs 无果。

给出一棵 $n$ 个点的有标号无根树，已经被若干条边分成大小为 $a_1,a_2,a_3,\cdots,a_m$ 的连通块。则形成的树的个数为 $n^{m-2}\prod a_i$。

请问如何从 Prufer 序列角度出发证明？