エレガントじゃないとって言う意見は可愛そうだけど
コンピュータで証明しちゃったせいで副産物的な発見がなかったとは言われてたね

だいたい大きな問題を解くとその過程でいろんな事がわかるのが今まで