Lemma

Revision as of 00:51, 14 June 2008 by Asymptosis (talk | contribs) (Intro to the notion of a lemma)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A lemma is a theorem used to simplify the proof of some other theorem. One might draw an analogy to the use of components in the construction of an electronic device -- no electronic device really "needs" separate components, but modular design greatly simplifies and stabilises.

When giving a lemma a name, one might say that the lemma is "towards" a given theorem. Then, when proving the main theorem, one might say "by the lemma" to draw on the result of the latter.