なので、背理法をそれほど目の敵にしなくても良いと思う(^^