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

есть особая зона, интервал вычетов

,
состоящая из одних простых чисел без всяких пропусков, за исключением первых

простых, составляющих модуль

.

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