>>688
それこそ間違い。(a)は(2)が成り立つための十分条件だよ。

・ 偶然にも(a)が成立すれば(2)が成立するので、
　 (2)が成り立つためには(a)が示せれば十分である。
　 つまり、(a)は(2)が成り立つための十分条件である。

・ (a)が成立しなくても(2)が成り立つケースはあり得るので、
　 (2)が成り立つために(a)が成り立つことは必ずしも必要ではない。
　 つまり、(a)は(2)が成り立つための必要条件ではない。