Лемма: значение слова в словаре Ефремовой

лемма ж.

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