Når en skal bevise et større teorem, kan det være nødvendig å bygge opp beviset ved hjelp av en rekke mindre resultat. Hver for seg vil disse mindre setningene kreve sitt eget bevis. I noen tilfeller kan slike mindre resultat, eller lemmaer, vise seg å være langt mer betydningsfulle enn først antatt. En rekke matematiske lemmaer har egne navn.