删除 CCC 及其唯一相连的直径 ACACAC。剩余 n−1n-1n−1 个点的所有直径仍在剩余线段中,由归纳假设至多有 n−1n-1n−1 条。加回 ACACAC 得 E≤nE\le nE≤n,与 E>nE>nE>n 矛盾,命题得证。