在\usepackage{amsthm}前加上\let\proof\relax 和 \let\endproof\relax,这样amsthm既不与theorem冲突,又可以使用\begin{proof}、\end{proof},亲测可用
问题应该是出在proof是个环境,而不是control sequence上
环境的重定义与control sequence的重定义有所不同,
与latex 2e提倡的方法不同的是,
任何一个环境env,
\begin{env}
...
\end{env}
等价于
\env
...
\endenv
所以除了重定义\proof之外,还要重定义\endproof,方法与我å‰