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

На этот вопрос пока нет ответов.