1: \begin{proof}

2: After the discussion above, this proof reduces to showing the 

3: pictures shown in Figure~\ref{figure:hole_in_B} and asserting 

4: that they were produced using the method above.  Note that 

5: this produces a \emph{loop} in $\SetB$, and checking if a parameter is 

6: \emph{not} in $\SetB$ is rigorous, so it suffices to exhibit 

7: a single pixel in the middle of the putative hole which is not in $\SetB$.  Many such pixels are 

8: easily visible.

9: \end{proof}

10: