vicvolf, спасибо.
Но в моей теореме вопрос так не ставится.
Если вы внимательно просмотрели все посты данной темы, то должны были заметить,
что я нигде не применяю термин "бесконечность", кроме заголовков тем, и
рассматриваю группы вычетов в ПСВ, где всегда вполне определенное число вычетов
и их групп согласно функциям Эйлера.
В ПСВ по модулю
есть особая зона, интервал вычетов
,
состоящая из одних простых чисел без всяких пропусков, за исключением первых
простых, составляющих модуль
.
Первая задача - определить, существуют ли данные группы среди вычетов ПСВ, и если да, то
вторая задача - доказать, что эта же группа вычетов есть и в указанном интервале ПСВ, т.е.
среди простых чисел. Вот и вся технология. И не надо некакой бесконечности.