Is it possible to reference Lemmas inside another Lemma?

  • Thread starter number0
  • Start date
  • #1
number0
104
0

Homework Statement



Is it possible to reference Lemmas inside another Lemma?

That is, while you are trying to prove a lemma, you refer to another lemma you have just proven. Is this accepted?


Homework Equations



None.

The Attempt at a Solution



None.
 

Answers and Replies

  • #2
Gib Z
Homework Helper
3,352
6
Yes, its fine. If it's happening too much though, you might want to reconsider what you are calling theorems and what are lemmas, as the lemmas are meant to be the simpler, preliminary results to be used for the proofs of theorems.
 
  • #3
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,875
420
Math books use the terms "proposition", "theorem", "lemma" and "corollary", but they all refer to theorems. They're just used in slightly different contexts.

Lemma: A theorem that isn't particularly interesting on its own, but is used in the proof of a more interesting theorem.

Theorem: Sometimes reserved for theorems of a greater significance than most.

Proposition: What most theorems are called if the author likes to use the word "theorem" only for the fancy ones.

Corollary: A theorem that's easy to prove if we use the theorem(s) we just proved.
 

Suggested for: Is it possible to reference Lemmas inside another Lemma?

Replies
11
Views
222
Replies
3
Views
325
Replies
2
Views
542
Replies
6
Views
385
  • Last Post
Replies
12
Views
287
  • Last Post
Replies
2
Views
2K
Replies
2
Views
1K
Replies
8
Views
487
Replies
4
Views
234
Replies
2
Views
402
Top