哪个 usepackage 用于定理和引理？

Question

证明环境可以工作，但定理环境不行。我不知道为什么这个不行：

当我把红框放在注释中时，一切都正常，但不知道为什么，因为我可以使用顺序\begin{theorem}...\end{theorem}

代码如下：

\documentclass[11pt]{scrartcl}
\usepackage[ngerman]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{enumitem}
\usepackage{mathtools}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{parskip}

\usepackage{graphicx}
\usepackage{enumerate}
\usepackage{url}
\usepackage{here}
\usepackage{lmodern}
\usepackage{fancyvrb}

\usepackage[plainpages=false]{hyperref}
\usepackage{longtable}

\oddsidemargin=0.in
\topmargin=-1.5cm
\textheight=23cm
\textwidth=16cm

\renewcommand{\theequation}{\thesubsection.\arabic{equation}}
\renewcommand{\thefigure}{\thesubsection.\arabic{equation}}

\setlength{\parindent}{0cm}

\newcommand{\boxing}[1]{
\begin{center}
\framebox[\linewidth][c]{\parbox{15.5cm}{{#1}}}
\end{center}}

\begin{document}
\newpage
\begin{proof}
Test 1
\end{proof}

\begin{theorem}
Test 2
\end{theorem}
\end{document}

Answer 1

大多数定理默认没有定义。有些人喜欢写thm为环境名称，而其他人则喜欢写theorem为环境名称。

您可以使用

\newtheorem{theorem}{Theorem}[section]

要创建一个新的theorem环境，在这种情况下，其编号将由部分编号决定。（请注意，此构造还创建了一个名为的新计数器theorem）

我们常常希望其他类似定理的构造共享同一个计数器，因此我们得到定理 1.1、引理 1.2 等等。

这可以使用稍微不同的语法来完成

\newtheorem{lemma}[theorem]{Lemma}

这里我们传递已经制作好的计数器的名称，因此我们不会制作新的计数器，而只会使用我们已有的计数器。

有关更多详细信息，请参阅该包的手册amsthm。

---

顺便说一句：LaTeX 提供了\newtheorem开箱即用的功能，不需要任何软件包。该amsthm软件包只是以一种方便的方式对其进行了扩展。另请参阅该软件包，thmtools了解用于制作类似定理的构造的替代语法。