What's the difference between theorem, lemma and corollary?

Can anybody explain me what is the basic difference between theorem, lemma and corollary?

We have been using it for a long time but I never paid any attention. I am just curious to know.


Lemma is generally used to describe a "helper" fact that is used in the proof of a more significant result.

Significant results are frequently called theorems.

Short, easy results of theorems are called corollaries.

But the words aren't exactly that set in stone.


A lot of authors like to use lemma to mean "small theorem." Often a group of lemmas are used to prove a larger result, a "theorem."

A corollary is something that follows trivially from any one of a theorem, lemma, or other corollary.

However, when it boils down to it, all of these things are equivalent as they denote the truth of a statement.


Terence Tao (Analysis I, p. 25, n. 4):

From a logical point of view, there is no difference between a lemma, proposition, theorem, or corollary - they are all claims waiting to be proved. However, we use these terms to suggest different levels of importance and difficulty.

A lemma is an easily proved claim which is helpful for proving other propositions and theorems, but is usually not particularly interesting in its own right.

A proposition is a statement which is interesting in its own right, while

a theorem is a more important statement than a proposition which says something definitive on the subject, and often takes more effort to prove than a proposition or lemma.

A corollary is a quick consequence of a proposition or theorem that was proven recently.


Here is some information from this link:

Theorem — a mathematical statement that is proved using rigorous mathematical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results.

Lemma — a minor result whose sole purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. Very occasionally lemmas can take on a life of their own (Zorn’s lemma, Urysohn’s lemma, Burnside’s lemma, Sperner’s lemma).

Corollary — a result in which the (usually short) proof relies heavily on a given theorem (we often say that “this is a corollary of Theorem A”).