真夏の方程式っていう映画昨日見たんですが、４色問題って証明方法色々
あるんですか？綺麗な証明法とかって未開だったりするんでしょうか？
数年前に相加相乗の新しい証明を高校教師が見つけたなんて話もありましたが…