すべてのてんが4点とつながってるグラフが平面にインベデイッドできたら
塗れない。無限平面は4色では塗れない。