证明语义块导出pdf时，使用 \begin{proof} \end{proof} #2985
Description
目前导出是：
\noindent\textbf{Proof\ }\ \hspace*{\fill}$\Box$\medskip更换成
\begin{proof}
\end{proof}{{ message }}
目前导出是：
\noindent\textbf{Proof\ }\ \hspace*{\fill}$\Box$\medskip更换成
\begin{proof}
\end{proof}