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