背理法で示せることは直接示せる