>>518
背理法で解決