>>923
(1)
背理法で