When I have a long proof in a paper that I want to push to another section, I want a theorem-style environment that produces "Proof of ..." and drops a QED symbol at the end. One way to do this is to use amsthm to declare proof environments. Write

in the preamble, and use the `thm`

environment for the theorem, and then `proof1`

for the proof, and be sure to put `\qed`

at the end of the proof.

If you have a lot of proofs, this is tedious, and the QED symbol at the end is not perfect, particularly when you are ending the proof with a displayed equation and want to use `\qedhere`

. Here is a bit of a hack which does everything we need. The entire example:

As usual, this is too complex for the wiki to parse, but it produces Fermat's last theorem, followed by a definition-style "Proof of Theorem 1", the proof, and then a QED symbol. And you can use `\qedhere`

just as you would in the amsthm `proof`

environment.