Вспомогательная теорема для доказательства другой теоремы?
Значение слова Лемма по Ожегову: Лемма - Вспомогательная теорема, необходимая длядоказательства другой теоремы.