如何证明一个点集直径的两端点在两无子集的四个直径端点中？