如何用可重述的方式引用定理中的一个项目

Question

我在第一章中有一个包含五项的定理，是用可重述的

\begin{restatable}{theorem}{maintheo}
\label{main teorema}
Sea $H$ un grupo amenable, sea $G$ un grupo y $G\wrwr H$ el producto corona irrestricto de $G$ con $H$. 
\begin{enumerate}
\item Si $G$ es débilmente sófico, entonces $G\wrwr H$ es débilmente sófico.         \label{caso weak sofic}
\item Si $G$ es sófico, entonces $G\wrwr H$ es sófico. \label{caso sofic}
\item Si $G$ es linealmente sófico, entonces $G\wrwr H$ es linealmente sófico.     \label{caso linear sofic}
\item Si $G$ es hiperlineal, entonces $G\wrwr H$ es hiperlineal. \label{caso     hyperlineal}
\end{enumerate}
\end{restatable}

我只需要重复第一项，而不是整个定理（当我写 \maintheo* 时，它会重复整个定理），而只需要重复第一项（实际上，我必须逐一重复这些项）。所以我想保留定理的编号，但只重复我想要的项目。这可能吗？

提前非常感谢您。

Answer 1

我可以提供定理重述的部分版本。我假设重述发生在主要陈述之后。

我建议不要在标签中使用空格，因此我用连字符代替了它们。

我也猜到\wrwr应该是什么了。

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[spanish,es-noquoting,es-notilde]{babel}
\usepackage{amsmath,amsthm}

\newtheorem{theorem}{Theorem}[section] % use the parent counter for your setting
\newtheorem*{auxtheorem}{Theorem \auxtheoremnumber} % for the repetitions

\newcommand{\wrwr}{\mathbin{\wr\wr}}

\newcommand{\restatabletheoremitem}[2]{%
  % #1 = label
  % #2 = text
  #2\label{#1}%
  \expandafter\xdef\csname restate@#1\endcsname{%
    \begingroup
    \def\noexpand\auxtheoremnumber{\thetheorem.\noexpand\ref{#1}}%
    \unexpanded{\begin{auxtheorem}#2\end{auxtheorem}}%
    \endgroup
  }%
}
\newcommand{\restatetheoremitem}[1]{%
  % #1 = label
  \ifcsname restate@#1\endcsname
    \csname restate@#1\endcsname
  \else
    \ERROR
  \fi
}

\begin{document}

\section{Main theorem}

\begin{theorem}\label{main-teorema}
Sea $H$ un grupo amenable, sea $G$ un grupo y $G\wrwr H$ 
el producto corona irrestricto de $G$ con $H$. 
\begin{enumerate}
\item \restatabletheoremitem{caso-weak-sofic}{Si $G$ es débilmente sófico, 
  entonces $G\wrwr H$ es débilmente sófico.}
\item \restatabletheoremitem{caso-sofic}{Si $G$ es sófico, entonces $G\wrwr H$ es sófico.}
\item \restatabletheoremitem{caso-linear-sofic}{Si $G$ es linealmente sófico, 
  entonces $G\wrwr H$ es linealmente sófico.}
\item \restatabletheoremitem{caso-hyperlineal}{Si $G$ es hiperlineal, entonces
  $G\wrwr H$ es hiperlineal.}
\end{enumerate}
\end{theorem}

\section{Restatements}

\restatetheoremitem{caso-weak-sofic}

\restatetheoremitem{caso-sofic}

\restatetheoremitem{caso-linear-sofic}

\restatetheoremitem{caso-hyperlineal}

\end{document}