使用 docmute 导入单独的文档作为证明的一部分？

Question

我有一个定理，其证明很长。该证明很长，由几个单独的 LaTeX 文件组成，我需要能够独立处理每个文件。我通常使用软件包来执行此操作docmute，该软件包允许每个子文件拥有自己的标题，以便可以将其作为独立文档进行处理，但在将子文件放入主文档时会忽略标题和\begin{document}and\end{document}命令\input。

但是，这似乎在环境中不起作用proof。这是 MWE。首先，主文件：

\documentclass{article}
\usepackage{docmute}
\usepackage{amsthm}
\begin{document}
Here is my important proof.
\begin{proof}
\input{proof}
\end{proof}
\end{document} 

现在子文件名为proof.tex：

\documentclass{article}
\begin{document}
Hello, world!
\end{document} 

错误信息：

LaTeX 错误：\begin{proof} 输入第 8 行，以 \end{document} 结尾

欢迎提出建议！

Answer 1

您的 MWE 适用于我当前的 1.2 版本docmute（旧版本 1.1 版本无法使用）。也许更新软件包就是您所需要的。