Sometimes you want proofs of theorems to appear in an appendix. The appendix must then
- include the theorem claim exactly as it was stated in the main body of the paper
- add a proof to it.
It would be nice to be able to include the theorem in the appendix without having to copy it verbatim (also because if I change it in the main body of the paper, I have to change it in the appendix as well).
Is there a clean way to achieve this in LaTeX? Note that theorem claims may include numbered objects (such as equations) and these numbers must not change in the repetition.