>>9
違う方を見ていました。数学の記法でNGになりそうな気がしますけれど。

>>10
不定が解となる方程式があり、不定が解になるのはその方程式の定数係数が
全て0のときでその場合には、題意を満たさないので矛盾になるということです。