>>827
何度考えてもその後の展開が分からないのですが…
矛盾を導くのにはbがBに入らないことをいうのですよね?