两点都在 X′X'X′ 的半单位邻域内,所以彼此距离至多一单位。
选取 L2L_2L2 上距 X′X'X′ 不超过 1/21/21/2 的点 YYY。由定义,XXX 距 X′X'X′ 也不超过 1/21/21/2,因此由三角不等式得到 XY≤1XY\le1XY≤1。