\documentclass{beamer}

\setbeamertemplate{navigation symbols}{}
\setbeamertemplate{footline}[frame number]

\newtheorem{thm}{Teorema}

\begin{document}

\begin{frame}<1>[label=teorema]{Teorema principal}
  
  \begin{thm}
    Enunciado
  \end{thm}

  \bigskip
  
  \visible<1>{
    \hyperlink{teorema<2>}{\beamergotobutton{Detalles de la prueba}}
  }
  
  \visible<2>{
  \begin{proof}[Demostraci\'on]
    Esto s\'olo se mostrar\'a al pulsar un bot\'on,
    o bien despu\'es del final de la presentaci\'on.
  \end{proof}
  \hfill\hyperlink{teorema<1>}{\beamerreturnbutton{Volver}}
  }

\end{frame}

\begin{frame}{Resto de la presentaci\'on}
  ...
  
  \rule[2pt]{1.5cm}{2pt} Fin. \rule[2pt]{1.5cm}{2pt}
  
\end{frame}

\againframe<2>{teorema}

\end{document}

