如何证明这张图上一定是基环树森林而不会出现图的情况呢qwq