I have a theorem with a long proof. The proof is so long that it's formed from several separate LaTeX files, each of which I need to be able to work on independently. The way I usually do this is with the docmute package, which allows each subfile to have its own headers so it can be worked on as a stand-alone document, but then ignores the headers and the \begin{document} and \end{document} commands when \inputing the subfile into the main document.
However, this doesn't seem to work inside a proof environment. Here's the MWE. First, the main file:
\documentclass{article}
\usepackage{docmute}
\usepackage{amsthm}
\begin{document}
Here is my important proof.
\begin{proof}
\input{proof}
\end{proof}
\end{document}
Now the subfile called proof.tex:
\documentclass{article}
\begin{document}
Hello, world!
\end{document}
The error message:
LaTeX Error: \begin{proof} on input line 8 ended by \end{document}
Suggestions welcome!
