证明 简单图的最大度数小于节点数(离散数学)