>>24
すべての地図は4色で塗り分けられるか
を証明できるかってだけじゃないっけ