Como obter a Prova do Teorema com o pacote phfthm

Question

Estou tentando usar o pacote phfthmpara ter um comprovante com a indicaçãoProva do Teorema 1, e similar.

Estou usando quase exatamente o exemplo fornecido nodocumentação do pacote, na página 15, mas só consigoProva de 1, sem a palavraTeoremae não consigo entender onde estou cometendo um erro.

Aqui está meu exemplo:

\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

Você tem que carregar hyperrefo provide \autoref, que é necessário para imprimir o tipo de comprovante. Se \autorefnão estiver disponível, \refé usado como substituto e assim apenas o número aparece (cf.https://tex.stackexchange.com/a/137433/29873). Isto poderia ter sido afirmado de forma mais clara na documentação (há apenas observações bastante ocultas). De qualquer forma, vamos lá:

\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}