Вспомогательная теорема для доказательства другой теоремы?
Это ЛЕММА -------------------------------------