Значение слова ЛЕММА в Большом современном толковом словаре русского языка

Что такое ЛЕММА

ж.

Теорема, необходимая только для доказательства другой теоремы ( в математике ) .

Большой современный толковый словарь русского языка.