>695
>>>693
(1)(2)が成り立つとき、(3)が成り立つ

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

693は間違いでしょうか?