2

I am trying to use the package phfthm to have a proof with the indication Proof of Theorem 1, and the like.

I am almost exactly using the example provided in the package documentation, at page 15, but I only get Proof of 1, without the word Theorem, and cannot understand where I am making a mistake.

Here is my example:

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

You have to load hyperref to provide \autoref, which is needed to print the type of proof. If \autoref is not available, \ref is used as fallback and thus only the number appears (cf. https://tex.stackexchange.com/a/137433/29873). This could have been stated more clearly in the documentation (there are only rather hidden remarks). Anyway, here we go:

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

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.