>>4 背理法で立証してみなよ。