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