对于一张图，若已经建出了一棵生成树，然后考虑一条非树边是否能够替换一条树边。
结论就是一条非树边 \((x,y)\)，只能替换树上路径 \((x,y)\) 上的任意一条边。
二级结论，可以免去一定的思考时间，让思考更连贯。
