关于有向图中通过大半度顶点的圈

设 $D$ 是一个具有 $n=2m+1\geq 5$ 个顶点的强有向图。本文证明，如果 $D$ 包含一个长度为 $n-1$ 的圈，那么 $D$ 也存在一个包含所有入度和出度至少为 $m$ 的顶点的圈（除非某些极值情况）。