Теорема, необходимая только для доказательства другой или нескольких других теорем.
[греч. λη̃μμα]
Малый академический словарь. — М.: Институт русского языка Академии наук СССР
Евгеньева А. П.
1957—1984
