对每个 i≤ki\le ki≤k,零元素 aiia_{ii}aii 使其行和加列和至少为 nnn。将这 kkk 个不等式相加,左上分块被计算两次,非对角分块被计算一次,故 2X+Y≥kn2X+Y\ge kn2X+Y≥kn。