Template:Qed

Used at the end of a proof to state that the proof is complete. If you are proving a lemma, you.