CCC とそれに接する唯一の直径 ACACAC を除く。残り n−1n-1n−1 点のすべての直径は残った線分の中にあるので、帰納法により高々 n−1n-1n−1 本である。ACACAC を戻せば E≤nE\le nE≤n となり、E>nE>nE>n に矛盾して主張が証明される。