一个有至少2个顶点的简单图必定至少有2个度数相同的顶点