>>349
よくわからんが　値Aがある２次方程式の解だとして
その方程式の解がα、βとなったとき、
A=α　かつ　A＝β　より　α＝β　はいいのでは？

もちろん、２つの解がともに十分性を満たせば