本题结论的证明需要用到 prufer 编码 / 拉格朗日反演 / 矩阵树定理，看起来至少是蓝，考虑到可以找规律做所以评绿，但应该不至于黄。

有人说这是熟知结论，但我做这题之前并没有接触过，是我孤陋寡闻了QAQ，不过还是感觉可以评绿。