Help:Proofs


 * For information about naming proofs, see Help:Page Naming

Lemmas
Lemmas that do not otherwise merit their own page, are put on a subpage of the proof page. They are transcluded below the "Proof" section heading and followed by a horizontal line:

...

Second transcluded lemma
The rest of the proof.

For information about transclusion, see Help:Transclusion.

Corollaries
Corollaries are treated like lemmas, but are transcluded right before the "Proof" section heading.

Q.E.D

 * For the mathematical context, see Definition:Q.E.D.

A proof is concluded using the qed template, which produces: $\blacksquare$

More information at Template:qed.

Multiple Proofs

 * See Help:Multiple Proofs

Equivalence Proofs

 * See Help:Equivalence Proofs