若 BBB 是 AAA 后面的下一个顶点、YYY 是 XXX 后面的下一个顶点,则对角线 AXAXAX 与 BYBYBY 在 KKK 相交。于是 AK+KB>ABAK+KB>ABAK+KB>AB 且 XK+KY>XYXK+KY>XYXK+KY>XY,从而 AX+BY>AB+XYAX+BY>AB+XYAX+BY>AB+XY。