背理法じゃなくね?