证明环境有问题

Question

我正在以以下方式使用定理、引理、推论和证明环境。

\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}[theorem]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{remark}{Remark}
\newtheorem{proof}{Proof}

除了证明之外，其他所有方法都正常工作。当我开始证明时

\begin{proof}
...
 \end{proof}

这里是我所看到的。如果我使用\usepackage{amsthm}证明，那么它会扰乱其他环境，这就是我得到的。

INFORMS Journal on Computing Style Files我正在使用此处提供的LaTeX模板网站。然后，我打开模板并添加\newtheorem如上所示的命令。如果我放入以下代码块并进行编译，则会收到错误。

\begin{theorem}
Here is my theorem.
\end{theorem}
\begin{lemma}
This is the lemma.
\end{lemma}
\begin{proof}
this is the proof.
\end{proof}

Answer 1

该类预定义了几个类似定理的环境和proof一个需要一个论点。

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Author template for INFORMS Journal on Computing (ijoc)
%% Mirko Janc, Ph.D., INFORMS, [email protected]
%% ver. 0.95, December 2010
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\documentclass[ijoc,blindrev]{informs3}
\documentclass[ijoc,nonblindrev]{informs3} % current default for manuscript submission

%%\OneAndAHalfSpacedXI
\OneAndAHalfSpacedXII % current default line spacing
%%\DoubleSpacedXII
%%\DoubleSpacedXI

% If hyperref is used, dvi-to-ps driver of choice must be declared as
%   an additional option to the \documentclass. For example
%\documentclass[dvips,ijoc]{informs3}      % if dvips is used
%\documentclass[dvipsone,ijoc]{informs3}   % if dvipsone is used, etc.

% Private macros here (check that there is no clash with the style)

% Natbib setup for author-year style
\usepackage{natbib}
 \bibpunct[, ]{(}{)}{,}{a}{}{,}%
 \def\bibfont{\small}%
 \def\bibsep{\smallskipamount}%
 \def\bibhang{24pt}%
 \def\newblock{\ }%
 \def\BIBand{and}%

%% Setup of theorem styles. Outcomment only one. 
%% Preferred default is the first option.
\TheoremsNumberedThrough     % Preferred (Theorem 1, Lemma 1, Theorem 2)
%\TheoremsNumberedByChapter  % (Theorem 1.1, Lema 1.1, Theorem 1.2)

%% Setup of the equation numbering system. Outcomment only one.
%% Preferred default is the first option.
\EquationsNumberedThrough    % Default: (1), (2), ...
%\EquationsNumberedBySection % (1.1), (1.2), ...

% In the reviewing and copyediting stage enter the manuscript number.
%\MANUSCRIPTNO{} % When the article is logged in and DOI assigned to it,
                 %   this manuscript number is no longer necessary

%%%%%%%%%%%%%%%%
\begin{document}
%%%%%%%%%%%%%%%%

\begin{theorem}
All natural numbers are interesting.
\end{theorem}

\begin{proof}{Proof.}
Clearly $0$ is interesting. Suppose there is a number that's not interesting
and call $n$ the minimal such. Then it is the minimal uninteresting number,
so obviously it is interesting.
\end{proof}

\end{document}

请注意必须添加一个参数\begin{proof}。