Difference between revisions of "Lemma"
Asymptosis (talk | contribs) (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.