Template:Qed

Used at the end of a proof to state that the proof is complete.

If you are proving a lemma, or a stage of a proof which is done in several steps, you can use.

The template should directly succeed the last line of the proof, like so:

Hence the result.