Et lemma er et lite teorem. Det er bevist sant, men hovedformålet er å bevise noe større. Lemmaer er stillasene for matematiske argumenter. De deler opp et stort bevis i håndterbare deler.

Euklids lemma sier at hvis et primtall deler et produkt av to heltall, deler det minst ett av dem. Dette lemmaet er essensielt for å bevise aritmetikkens fundamentale teorem. Zorns lemma, et mer avansert eksempel, brukes til å bevise eksistensen av maksimale idealer og baser i uendelig-dimensjonale rom.

Noen ganger blir et lemma berømt i seg selv. Gauss' lemma, Fatous lemma og Urysohns lemma har alle navn og forekommer i lærebøker. Skillet mellom lemma, proposisjon, teorem og korollar er delvis stilistisk. Et lemma er en hjelper; et teorem er hovedresultatet.

• Bevist utsagn brukt til å bevise et teorem
• Bryter opp store bevis i trinn
• Eksempler: Euklids lemma, Zorns lemma
• Noen ganger blir han berømt på egenhånd