下面划绿线部分很好理解，因为d1 <= d2 <= …… <= dk <= k，自然有“度不超过k的顶点至少有k个”。
红线部分么有读懂，道不应该是"度不小于n-k的顶点至少有k+1个"吗？
按照我的理解n-k <= d_n-k <= d_n-k+1 <= ……<= dn，所以度不小于n-k的顶点至少有k+1个。
我那个地方理解错了？？？后面的证明要用这个结论，卡住了。求大大帮帮我。