>>420
このあとは対偶と背理法のどっちを使うんでしょうか?