Интервал (

), в дальнейшем

, входящий в интервал

ПСВ,
не может быть критерием оценки числа различных групп вычетов, существующих в ПСВ.
Элементарная статистика показывает, что число таких групп как (2,4),(2,4,2),(2,4,2,4,)(4,2,4,2,4)
в этих интервалах может быть равна
0.

(2,4) (2,4,2) (2,4,2,4) (4,2,4,2,4)
2
3 ___ 0 ___ 0 _____ 0 ______ 0
5 ___ 2 ___ 1 _____ 1 ______ 1
7 ___ 1 ___ 0 _____ 0 ______ 0
11___2 ___ 1 _____ 1 ______ 1
13___0 ___ 0 _____ 0 ______ 0
17___2 ___ 1 _____ 0 ______ 0
19___2 ___ 0 _____ 0 ______ 0
23___1 ___ 0 _____ 0 ______ 0
29___1 ___ 1 _____ 0 ______ 0
31___2 ___ 0 _____ 0 ______ 0
37___3 ___ 0 _____ 0 ______ 0
41___4 ___ 1 _____ 1 ______ 1
43___0 ___ 0 _____ 0 ______ 0
47___3 ___ 2 _____ 0 ______ 0
53___4 ___ 0 _____ 0 ______ 0
59___2 ___ 2 _____ 0 ______ 0
61___2 ___ 0 _____ 0 ______ 0
Очередные группы (2,4,2,4) и (4,2,4,2,4) появятся только при

.
Но мы не знаем что будет и с близнецами при дальнейшем увеличении

А если их число конечно? Поэтому, критерием бесконечности этих групп в натуральном ряду
является наличие хотя бы одной группы не в интервале

, но в интервале

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