>>589
背理法使ってないって言ってたじゃん