由相交引理,另一条直径 CXCXCX 必须同时与 ABABAB、ADADAD 相交,因为它不能与任一条互不相交。但以 AAA 为公共端点且 ACACAC 位于 ABABAB、ADADAD 之间时,从 CCC 出发的一条直线段不可能穿过两条外侧线段。矛盾说明 CCC 不在 ACACAC 之外的任何直径上。