引理2：设简单连通图G中有一个圈C, G'是从G中去掉C的所有边所得到的图。 如果H是图G'的任何一个连通分支，则 V(C)∩V(H)≠Φ 情况1：G'连通 此时H=G,结论显然 H2 情况2：G不连通 如果C与H,点不交 H 则H为图G的一个连通分支 与图G是连通图矛盾引理2：设简单 G中有一个圈C， G'是 所得到的图。 如果 ，则 V(C)∩V(H)≠Φ 情况1：G'连通 此时H=G'，结论显然 情况2：G'不连通 如果C与H1点不交 则H1为图G的一个连通分支 与图G是连通图矛盾