撤题解

首先我们有，重要东西不证的题解是必然撤下的。

（忘了谁说的了）

而此题的关键点显然。

没有证明的题解列表&名言摘录：

1. 不难发现&不难证明
2. 我们发现（同时那两棵生成树是 $T_1$ 和 $T_2$，不是 $T1$ 和 $T2$）
3. 不难发现

降黄

首先这道题的结论非常好猜，我认为猜结论的难易度也是要作为一定因素的。猜结论和写代码的难度均为橙。

然后证明难度大概是下位绿。虽然用到了 Tarjan 的思想，但是我这个 Tarjan 没学明白的人也能证出来。

我相信很多人都能证出来只是不知道如何表达罢了。

折中一下，黄吧。