| 1. | First, the lemma assigns proper syntax to each incoming concept.
|
| 2. | The following set of theorems and lemmas help cement that similarity:
|
| 3. | The existence of a maximal antichain follows from Zorn s Lemma.
|
| 4. | It is now commonly known as the Knaster Kuratowski Mazurkiewicz lemma.
|
| 5. | Using this lemma, we can prove Hoeffding's inequality.
|
| 6. | An application of the snake lemma then yields a long exact sequence
|
| 7. | There is also a graded version of Nakayama's lemma.
|
| 8. | Gauss's lemma holds more generally over arbitrary GCD domains.
|
| 9. | Noether's normalisation lemma is a theorem in commutative algebra.
|
| 10. | It is known as the crossing number inequality or crossing lemma.
|
