I beregningsmæssig kompleksitetsteori spiller lemmaer og følgevirkninger en vigtig rolle i etableringen og forståelsen af ​​teoremer. Disse matematiske konstruktioner giver yderligere indsigt og beviser, der understøtter de vigtigste resultater, og hjælper med at opbygge et robust grundlag for at analysere kompleksiteten af ​​beregningsmæssige problemer. Lemmaer er mellemresultater eller hjælpeforslag, der har vist sig at være sande