Теорема для доказательства другой теоремы?

Лемма-доказанное утверждение,полезное не само по себе,а для доказательства других теорем.

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