Template:Theorem

From Complexity Zoo
Revision as of 03:10, 18 November 2012 by Admin (talk | contribs) (1 revision: Complexity zoo import.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


Template Documentation

Formats a theorem and its proof in a framed box.

Parameters

Order/Name Description
1 (optional) Name of the theorem (e. g.: Jesus' Theorem).
theorem (optional) Word to substitute for "Theorem," such as "Lemma" or "Corollary."
statement Actual statement of the theorem.
proof Statement of the theorem's proof.

Example

{{Theorem|Jesus' Theorem|statement=If foo, then bar.|proof=Foo is more awesome than bar. Hence, since more awesome includes less awesome, we are done.}}

Renders as:

Theorem (Jesus' Theorem). If foo, then bar.


Proof: Foo is more awesome than bar. Hence, since more awesome includes less awesome, we are done. ▪


Raw Template

Theorem. {{{statement}}}


Proof: {{{proof}}} ▪