>>500
エスパーしてみると、
余事象云々は、１解のみx>0のとき、２解がx>0のとき、と場合わけするのを嫌ってるンだろう。
それで「少なくとも一つがＡ」の否定「どちらもＡでない」、と余事象を使えば一挙に仕上げられるだろうと期待。
ところが正しい否定をつくれていないことに気付いていない哀しさ、だなあ。