>>46
ヒント:背理法