>>328
ABのほうも矛盾を導かないといけないと思ったのですが、違いますか?