直接証明、対偶を使う証明、背理法で証明・・・
証明をしようとしたとき、どの証明で攻めるかっていう判断基準みたいなものってある？