(´・ω・`)1+1=2って結構高レベルな証明問題じゃなかったっけ