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   .