如果一个连通无向图中所有顶点都为偶数度，则该图必然存在欧拉回路。