>>86
背理法がダメならダメだよ。