先前引理和定理的交叉引用

Question

我是 LaTeX 的新手，在交叉引用时，我对给出的枚举感到困惑，它与该部分给出的枚举不匹配。

\documentclass[10pt,letterpaper]{book}
\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{amsthm}
\usepackage{enumerate}

\author{My name}
\title{Title}

\theoremstyle{definition}

\begin{document}
\maketitle

\chapter*{Introducción}

\chapter{Conceptos preliminares}

\newtheorem{cont}[section]{Definición}
\begin{cont}
def
\end{cont}

\chapter{The Theorem}
\newtheorem{ext}[section]{Definición}
\begin{ext}
def
\end{ext}

\newtheorem{clocc}[section]{Definición}
\begin{clocc}
def
\end{clocc}

\newtheorem{tm}[section]{Teorema}
\begin{tm}
thrm
\begin{proof}
proof
\end{proof}
\end{tm}

\newtheorem{arcoord}[section]{Definición}
\begin{arcoord}
def
\end{arcoord}

\newtheorem{l1}[section]{Lema}
\begin{l1}
lemma \label{l1}
\begin{proof}
proof
\end{proof}
\end{l1}

\newtheorem{l4}[section]{Lema}
\begin{l4}
lemma
\begin{proof}
Lema \ref{l1}
\end{proof}
\end{l4}

\end{document}

Answer 1

除了使用数字作为环境名称的一部分（或用作l1标签名称）的“有用性”之外，这里还存在一些问题：

• \newtheorem对每种定理类型只需使用一个，即 aLema或 aTheorem或Example等等。

• 对每个新 lema重复使用\newtheorem会导致所有环境都被编号为1或1.1等——这很尴尬。

• 我认为section这里不应该是一个共享计数器，而是重置计数器，即[section]属于定理定义的结束，而不是介于两者之间（但这仅仅是一个猜测）
• \ref没有先前的标签将无法工作（除了?作为输出！, i.e. the必须在之前指定 \label{l1}`！

---

\documentclass{article}

\usepackage{amsthm}

\newtheorem{l1}{Lema}[section]

\begin{document}
\section{Foo}

\begin{l1}
  This is a lemma. \label{l1}
\end{l1}
\begin{proof}
   The proof is left to the reader
\end{proof}


\begin{l1}
  This is another lemma.
\end{l1}
\begin{proof}
    The result follows from Lemma \ref{l1}.
\end{proof}

\end{document}