四色問題と電子計算機③