ケンペの証明とは違う。ACチェーンとADチェーンが繋がってなければ
N−2点をより簡単に3色で配色できる。
CまたはDをAに配色すればいい。
繋がっていれば、5色で配色しなければならない。
これはN−1点で4色で配色できることに反する。
へーウッドにさらに検証してもらいたいものだ。