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

.
Наибольший интерес представляют ПСВ с минимальными по абсолютной величине вычетами.
Если в основных ПСВ симметрия вычетов относительно числа 0,5М, то в ПСВ(-1/2M,+1/2M)
с наименьшими по абсолютной величине вычетами эта симметрия относительно числа
0.
При этом простые числа находятся в интервале:

Очевидно, что разность

.
Если мы докажем, что вычет или группа вычетов данной ПСВ находятся в этом интервале,
то это однозначно указывает на их простоту.
Но такие ПСВ создают определенные неудобства, т.к. половина вычетов - отрицательные числа.
Чтобы иметь дело с натуральными вычетами и их группами надо увеличить все вычеты этой ПСВ
на величину модуля. Получим ПСВ(1/2M,3/2M) с вычетами от
0,5М до
1,5МЭто дает возможность все расчеты вести в натуральных числах, а затем переходить к ПСВ
с наименьшими по абсолютной величине вычетами.
Для этого достаточно вычесть модуль
М