≠での変形でも背理法よりかは直感的だと思うが