Colocando QED na linha acima

Question

Se eu tiver um ambiente de teorema que usa um símbolo QED e colocar um bloco literal no final de tal teorema, o símbolo QED será colocado em uma nova linha abaixo, criando espaço extra. Existe uma maneira de definir uma macro semelhante, \qedheremas que coloque o símbolo no final da linha acima e, portanto, não crie uma linha extra apenas para o símbolo?

MWE:

\documentclass{article}
\usepackage{amsthm}

 \begin{document}
 \begin{proof}
 For example:
 \begin{verbatim}
 Some code.
 \end{verbatim}
 \qedhere
 \end{proof}
 \end{document}

Editar:Essesugere \par\vspace{-1.7\baselineskip}\qedhere, o que funciona, mas há um valor "mágico" de 1,7 que precisa de ajuste, e o símbolo QED ainda pode ser colocado na próxima página.

Answer 1

Este código parece funcionar:

\documentclass{article}
\usepackage{amsthm}

 \begin{document}

 \begin{proof}
 For example:

 \begin{verbatim}
 Some code.
 \end{verbatim}
\vspace*{-\dimexpr2\baselineskip + \topsep + \partopsep}
 \qedhere
 \end{proof}

 \end{document}