Also check for empty line preceding \begin{proof}