在几乎所有的期刊中，证明都是在“证明”环境中撰写的，就像这样”
\begin{proof}
PROOF BODY
\end{proof}
但是 INFORMS 期刊编写证明的方式很独特：
\proof{Proof.}
PROOF BODY
\Halmos
\endproof
当我向 INFORMS 期刊提交论文时，我没有仔细检查论文中的所有“证明”环境并进行更改，而是想到重新定义“证明”环境以使用 INFORMS 宏：
\renewenvironment{proof}
{
\proof{Proof.}
}
{
\Halmos
\endproof
}
但它不起作用：我收到一个错误“TeX 容量超出”。
有没有更好的解决办法？
答案1
（重新发布早期的评论，以便该问题可以被认为已经收到（至少）一个正式答案。）
文档informs3类做出了许多（说得委婉些）令人质疑的布局决定。正如您所发现的，其中之一就是环境的特定形式proof。
与其重新发明轮子，我建议你加载该amsthm软件包以便使用其久经考验的proof环境。为此，只需执行序言中的以下几条指令：
\let\proof\relax
\let\endproof\relax
\let\theoremstyle\relax
\usepackage{amsthm}