背理法はわかります。