>>710
背理法で証明するなら仮定を使って矛盾を導かなければできないっていう根本的な指摘だよ