Cómo obtener la prueba del teorema con el paquete phfthm

Question

Estoy intentando usar el paquete.phfthm para tener una prueba con la indicaciónPrueba del teorema 1, y similares.

Estoy usando casi exactamente el ejemplo proporcionado en eldocumentación del paquete, en la página 15, pero solo obtengoPrueba de 1, sin la palabraTeoremay no puedo entender dónde estoy cometiendo un error.

Aquí está mi ejemplo:

\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

Debe cargar hyperrefpara proporcionar \autoref, que es necesario para imprimir el tipo de prueba. Si \autorefno está disponible,\ref se utiliza como respaldo y por lo tanto solo aparece el número (cf.https://tex.stackexchange.com/a/137433/29873). Esto podría haberse indicado más claramente en la documentación (solo hay comentarios bastante ocultos). De todos modos, allá vamos:

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