LaTeXで定理を再掲する

やりたいこと

(論文・修論の)イントロで定理を列挙したあと,後の章で In this chapter, we prove the following theorem. のようなことをしたかった. 同じ文言を再掲してしまうと定理番号や label のやりくりが面倒になるのを何とかしたかった.

関連記事

この記事とは違うやり方もあるようだが,自分には合わなかった.

LaTeXの文章で定理番号を再利用(引用)する方法 | Mathlog

よしいずの雑記帳 再掲する定理にもとの定理番号を振る方法

やりかた

tex.stackexchange.com 解決法:restatable を使う.

  1. thm-restate というパッケージを読み込む.
  2. 初めて出す定理を restatableで囲って引用名を付ける.具体的には,以下のようにする.
\begin{restatable}{theorem}{引用名} \label{定理のラベル}
  定理の主張
\end{restatable}

後で再掲するときには, \引用名* をする.

具体例

In this chapter, we show NP-completeness of SAT.

\begin{restatable}{theorem}{hardness} \label{thm:3SAT_hard}
    SAT is NP-complete.
\end{restatable}

Having all the tools prepared, we are ready to show the main theorem of this chapter.

\hardness*