我有以下有关嵌套定理的问题。
采取以下措施：
\begin{theorem}
Bla
\end{theorem}
\begin{proof}
Bla bla
%
\begin{lemma}
Bla
\end{lemma}
%
\begin{proof}[Proof of the Lemma]\renewcommand{\qedsymbol}{}
Bla bla
\end{proof}
%
\end{proof}
我的想法是，我只想要一个\qed符号，而且我确实得到了它。但无论我如何使用\renewcommand{\qedsymbol}{}（用于定理的证明或引理的证明），垂直间距总是错误的。下一个段落紧接着一个大段落。
[我认为这源于这样一个事实，即符号仍然存在于某种鬼模式]
有没有顺利解决这个问题的方法？非常感谢。
答案1
如果内部证明也结束于主要证明，那么您的读者就会感到困惑。
但这\qedhere是可以做到的。
\documentclass{article}
\usepackage{amsthm}
\makeatletter
\newenvironment{innerproof}[1][\proofname]
{\par\normalfont \topsep6\p@ \@plus6\p@\relax
\trivlist
\item[\hskip\labelsep\itshape#1\@addpunct{.}]\ignorespaces}
{\endtrivlist\@endpefalse}
\makeatother
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{theorem}
Bla
\end{theorem}
\begin{proof}
Bla bla
\begin{lemma}
Bla
\end{lemma}
\begin{innerproof}[Proof of the Lemma]
Bla bla\qedhere
\end{innerproof}
\end{proof}
\begin{theorem}
Bla
\end{theorem}
\begin{proof}
Bla bla
\begin{lemma}
Bla
\end{lemma}
\begin{innerproof}[Proof of the Lemma]
Bla bla
\end{innerproof}
So the proof is finished.
\end{proof}
\end{document}
