>>15
そういえば四色問題は定理でもなんでもなかったんだよね
もうちょっと解くのが遅れてたら
AIにもってかれたと思います