>>90
その場合は、必要条件ではあるが十分条件ではない、ということであり、
a=-d　以外にもまだみつけられていない必要条件があると考えられる。（つまり、まだ追求不足）
それをみつけて、それとa=-d　とを合わせて十分条件になっている、ということが予想される。