# What is a lemma?

#### Char. Limit

Gold Member
What is a lemma?

I hear people talking about "lemmas" all the time. A great example is the math joke that ends with the devil saying "But I found this really interesting lemma..." This joke would likely be much funnier to me if I knew what a lemma (or Riemann's hypothesis, but if you want to, I don't necessarily need to know that) is.

All help appreciated.

#### Hurkyl

Staff Emeritus
Gold Member
Re: Lemmas

A lemma is a statement you can prove so that you can prove something else. The only reason we don't call them theorems is that they are typically aren't interesting enough to "deserve" that title.

Last edited:

#### HallsofIvy

Re: Lemmas

You might also want to note "corrollary". A corrollary is a statement that is not important enough be called a "theorem" in its own right but follows easily from a given theorem.

"Lemmas" are used to prove a theorem so are proved before the theorem. "Corrollaries" are proved from the theorem an so are proved after the theorem.

Last edited by a moderator:

#### Char. Limit

Gold Member
Re: Lemmas

Thanks for the help.

#### arildno

Homework Helper
Gold Member
Dearly Missed
Re: Lemmas

There are SOME lemmas, though, that have shown themselves to be far more useful than the theorem originally sought to be proven by the aid of that lemma..

Zorn's lemma, for example.

"What is a lemma?"

### Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving