已知n阶m条边的无向图G为k(k>=2)个连通分支的森林,证明m=n-k