Как получить доказательство теоремы с помощью пакета phfthm

Question

Я пытаюсь использовать пакет, phfthmчтобы получить доказательство с указаниемДоказательство теоремы 1, и тому подобное.

Я почти точно использую пример, приведенный впакет документации, на странице 15, но я получаю толькоДоказательство 1, без словаТеорема, и не могу понять, где я делаю ошибку.

Вот мой пример:

\documentclass[]{article}

\usepackage[resetstyle]{phfthm}

\begin{document}

\section*{Introduction}
This is a theorem
\begin{theorem}[Gauss]
    \label{thm:Gauss}
    For a closed surface $S$ enclosing a volume $V$, we have
    \begin{equation}
    \oint_S\vec u\cdot d\vec S = \int_V(\vec\nabla\cdot\vec u)\,dV\ .
    \end{equation}
\end{theorem}
Then the proof.
\begin{proof}[*thm:Gauss]
text of proof
\end{proof}

\end{document}

Answer 1

Вам необходимо загрузить , hyperrefчтобы предоставить \autoref, который необходим для печати типа доказательства. Если \autorefнедоступен, \refиспользуется как резервный вариант, и, таким образом, отображается только номер (ср.https://tex.stackexchange.com/a/137433/29873). Это можно было бы более четко указать в документации (есть только довольно скрытые замечания). Ну, вот:

\documentclass[]{article}
\usepackage[resetstyle]{phfthm}
\usepackage{hyperref}
\begin{document}

\section*{Introduction}
This is a theorem
\begin{theorem}[Gauss]
    \label{thm:Gauss}
    For a closed surface $S$ enclosing a volume $V$, we have
    \begin{equation}
    \oint_S\vec u\cdot d\vec S = \int_V(\vec\nabla\cdot\vec u)\,dV\ .
    \end{equation}
\end{theorem}
Then the proof.
\begin{proof}[*thm:Gauss]
text of proof
\end{proof}

\end{document}