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.

When  is used, it automatically adds the result into Category:Proven Results, so as to allow a category which contains all the results, and so, among other things, gives an indication of the total number of results proven so far.