>>163
”二つ条件を使う”
つまり、使える明示的な条件が増えていることも
証明を考えるときにありがたいよね（＾＾