如果有向图中各个顶点的度都大于2，则该图中必有回路。