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