ただの背理法じゃん