>>880
背理法を使えっていうのすっごい無視してた
定義否定すればいいんじゃない?