>695
>>>693で
(1)(2)が成り立つとき、(3)が成り立つ
は
(1)(2)が成り立たないとき、(3)が成り立たない
の裏の命題であって、証明になりません。

693は間違いでしょうか？