Difference between revisions of "Lemma"

(Intro to the notion of a lemma)
 
(No difference)

Latest revision as of 01:51, 14 June 2008

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.