1: \begin{proof}

2: Indeed, suppose $q\in\mathcal{H}$, then $I^-(q)\subset M\setminus\mathcal{B}$, even though it is quite intuitive, it can be rigorously proved: let $p\in I^-(q)$, then there exists a neighbourhood $\mathcal{V}$ of $q$ in $I^+(p)$, since it is open. But $q\in\dot{\mathcal{B}}$, so $\mathcal{V}$ intercepts $M\setminus\mathcal{B}$, consequently, $p\in I^-(\mathcal{V}\cap(M\setminus\mathcal{B}))\subset M\setminus\mathcal{B}$. See figure (\ref{83m}). Analogously, $I^+(q)\subset\mathcal{B}$.

3: 

4: \begin{figure}[h]

5: \centering

6: \includegraphics[width=.35\textwidth]{83m.png}

7: \caption{Diagram showing the black hole region and auxiliary structures to prove achronality of event horizon.}

8: \label{83m}

9: \end{figure}

10: 

11: Suppose, by absurd, that exists $r\in\mathcal{H}$ such that $r\in I^-(q)$. Again, because $I^-(q)$ is open, there is an open neighbourhood $\mathcal{V}'$  such that $r\in\mathcal{V}'\subset I^-(q)\subset I^-(\mathcal{H})$, which is impossible, since $I^-(\mathcal{H})$ is open and therefore it does not intercept its frontier. The contradiction proves the achronality of the event horizon.

12: \end{proof}

13: