>>41
つまり、手作業で確認できないくらい巨大な地図には反例が存在するわけね？
そうすると、4色定理を証明したんじゃなくて、
4色定理が正しくないってことを証明したわけだ