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 である。