Тооцооллын нарийн төвөгтэй байдлын онолд лемма ба үр дагавар нь теоремыг тогтоох, ойлгоход чухал үүрэг гүйцэтгэдэг. Эдгээр математик бүтээцүүд нь үндсэн үр дүнг дэмжих нэмэлт ойлголт, нотолгоог гаргаж, тооцооллын асуудлын нарийн төвөгтэй байдалд дүн шинжилгээ хийх бат бөх суурийг бий болгоход тусалдаг. Лемма нь үнэн болох нь батлагдсан завсрын үр дүн эсвэл туслах саналууд юм