>>691
そうだよ。>>688は間違いだよ。
(a)は(2)が成り立つための十分条件だからね。

そして、件の文書は>>684に反例が書いてあるので正しくない。

では、ゴミ文書の削除よろしく。