证明了如果一个平衡二分图G包含4k个点，k≥2，并且对G中每一对满足x∈V1，y∈K的不相邻顶点x和y成立d（x）＋d（y）≥2k＋1，则G包含k-2个4-圈和一个8-......