设G为无向连通图，C为G中一条初级回路（圈），若从C上删除任何一条边后，C中剩下的边构造的路径都是G中最长的路径，证明C为G中的哈密顿回路。