Exercise 1.6.8

(a)

First, show that the case $a^{\prime }\in B$ leads to a contradiction.

(b)

Now, finish the argument by showing that the case $a^{\prime }\notin B$ is equally unacceptable.