ж.
Теорема, необходимая только для доказательства другой теоремы (в математике).
-ы; ж. (греч. l'ēmma); матем.
Теорема, необходимая только для доказательства другой или нескольких других теорем.
Доказательство леммы.
ж. мат.
lemma