「四色問題」はコンピューターが解決したんだぞ。