Changing \proof to \begin{proof}