Значение слова ЛЕММА в Толковом словаре Ефремовой

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

лемма

ж.

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

Ефремова. Толковый словарь Ефремовой.