所有 CijC_{ij}Cij 都彼此不同:若某个顶点同时邻接不同的 BiB_iBi 和 BhB_hBh,则不相邻的那一对会有 AAA 和该顶点两个公共邻点。任意顶点 XXX 要么是 AAA,要么与 AAA 相邻,要么不与 AAA 相邻而由条件 (iii) 与 AAA 有公共邻点。因此 dist(A,X)≤2\operatorname{dist}(A,X)\le2dist(A,X)≤2。