>>21
背理法使うやつか?