Lemma: è un risultato intermedio o “ausiliario”, dimostrato principalmente per poter poi dimostrare un teorema più importante.

Spesso spezza una dimostrazione lunga in passi più semplici, anche se a volte i lemmi stessi sono risultati molto profondi.